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

sub_apply

Mathlib.RingTheory.HahnSeries.Summable

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

← MathLib Explorer