∫ Утверждение Mathlib
gaussNorm_C
Mathlib.RingTheory.Polynomial.GaussNorm
URI: https://scilib.ai/kg/mathlib#PowerSeries.gaussNorm_C
∫ Утверждение Mathlib
Mathlib.RingTheory.Polynomial.GaussNorm
URI: https://scilib.ai/kg/mathlib#PowerSeries.gaussNorm_C