∫ Утверждение Mathlib
norm_intCast_eq_abs_mul_norm_one
Mathlib.Analysis.Normed.Module.Basic
URI: https://scilib.ai/kg/mathlib#norm_intCast_eq_abs_mul_norm_one
∫ Утверждение Mathlib
Mathlib.Analysis.Normed.Module.Basic
URI: https://scilib.ai/kg/mathlib#norm_intCast_eq_abs_mul_norm_one