Theorem HahnSeries.support_smul_subset

Modification history

2025-12-15 11:03

Mathlib/RingTheory/HahnSeries/Addition.lean

feat: cardinality of Hahn series (#32640) …

Added HahnSeries.support_smul_subset View on Github →