∫ Утверждение Mathlib
abs_natCast_norm
Mathlib.NumberTheory.Zsqrtd.GaussianInt
URI: https://scilib.ai/kg/mathlib#GaussianInt.abs_natCast_norm
∫ Утверждение Mathlib
Mathlib.NumberTheory.Zsqrtd.GaussianInt
URI: https://scilib.ai/kg/mathlib#GaussianInt.abs_natCast_norm