∫ Утверждение Mathlib

coe_neg

Mathlib.RingTheory.HahnSeries.Summable

URI: https://scilib.ai/kg/mathlib#HahnSeries.SummableFamily.coe_neg

← MathLib Explorer