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