∫ Утверждение Mathlib
Mathlib.RingTheory.PowerSeries.Trunc
URI: https://scilib.ai/kg/mathlib#PowerSeries.coeff_trunc
← MathLib Explorer