Theorem Finsupp.degree_add

Modification history

2025-01-30 22:16
Mathlib/Data/Finsupp/Weight.lean
refactor(Data/Finsupp/Weight): generalize and add lemmas (#20635) …
Modified Finsupp.degree_addView on Github →
2024-12-04 18:37
Mathlib/Data/Finsupp/Weight.lean
feat(Data/Finsupp/MonomialOrder/DegLex): homogeneous lexicographic order (#19455) …
Added Finsupp.degree_addView on Github →