Theorem HahnSeries.cardSupp_one_le

Modification history

2026-01-02 13:48

Mathlib/RingTheory/HahnSeries/Cardinal.lean

feat: cardinality of Hahn series inverse (#32643)

Added HahnSeries.cardSupp_one_le View on Github →