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