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

neg_apply

Mathlib.RingTheory.HahnSeries.Summable

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

← MathLib Explorer