Theorem Finsupp.degree_comapDomain_le_of_canonicallyOrderedAdd

Modification history

2026-03-11 00:43
Mathlib/Data/Finsupp/Weight.lean
feat(RingTheory/MvPowerSeries): introduce `rename` (#33188) …
Added Finsupp.degree_comapDomain_le_of_canonicallyOrderedAddView on Github →