∫ Утверждение Mathlib
sin_ne_zero_of_not_collinear
Mathlib.Geometry.Euclidean.Angle.Unoriented.Affine
URI: https://scilib.ai/kg/mathlib#EuclideanGeometry.sin_ne_zero_of_not_collinear
∫ Утверждение Mathlib
Mathlib.Geometry.Euclidean.Angle.Unoriented.Affine
URI: https://scilib.ai/kg/mathlib#EuclideanGeometry.sin_ne_zero_of_not_collinear