∫ Утверждение Mathlib
norm_σ
Mathlib.Analysis.Complex.UpperHalfPlane.MoebiusAction
URI: https://scilib.ai/kg/mathlib#UpperHalfPlane.norm_σ
∫ Утверждение Mathlib
Mathlib.Analysis.Complex.UpperHalfPlane.MoebiusAction
URI: https://scilib.ai/kg/mathlib#UpperHalfPlane.norm_σ