∫ Утверждение Mathlib
coeff_single_same
Mathlib.RingTheory.HahnSeries.Basic
URI: https://scilib.ai/kg/mathlib#HahnSeries.coeff_single_same
∫ Утверждение Mathlib
Mathlib.RingTheory.HahnSeries.Basic
URI: https://scilib.ai/kg/mathlib#HahnSeries.coeff_single_same