∫ Утверждение Mathlib
right_ne_zero_of_oangle_ne_zero
Mathlib.Geometry.Euclidean.Angle.Oriented.Basic
URI: https://scilib.ai/kg/mathlib#Orientation.right_ne_zero_of_oangle_ne_zero
∫ Утверждение Mathlib
Mathlib.Geometry.Euclidean.Angle.Oriented.Basic
URI: https://scilib.ai/kg/mathlib#Orientation.right_ne_zero_of_oangle_ne_zero