Theorem HahnSeries.cardSupp_truncLT_le

Modification history

2025-12-15 11:03
Mathlib/RingTheory/HahnSeries/Cardinal.lean
feat: cardinality of Hahn series (#32640) …
Added HahnSeries.cardSupp_truncLT_leView on Github →