Theorem HahnSeries.cardSupp_mul_single_le

Modification history

2026-01-02 13:48
Mathlib/RingTheory/HahnSeries/Cardinal.lean
feat: cardinality of Hahn series inverse (#32643)
Added HahnSeries.cardSupp_mul_single_leView on Github →