∫ Утверждение Mathlib
two_nsmul_coe_pi
Mathlib.Analysis.SpecialFunctions.Trigonometric.Angle
URI: https://scilib.ai/kg/mathlib#Real.Angle.two_nsmul_coe_pi
∫ Утверждение Mathlib
Mathlib.Analysis.SpecialFunctions.Trigonometric.Angle
URI: https://scilib.ai/kg/mathlib#Real.Angle.two_nsmul_coe_pi