Theorem Finsupp.le_degree

Modification history

2025-04-10 16:38
Mathlib/Data/Finsupp/Weight.lean
chore: deprecate semibundled ordered algebraic typeclasses (#20676) …
Modified Finsupp.le_degreeView on Github →
2025-01-30 22:16
Mathlib/Data/Finsupp/Weight.lean
refactor(Data/Finsupp/Weight): generalize and add lemmas (#20635) …
Modified Finsupp.le_degreeView on Github →
2024-07-21 13:06
Mathlib/Data/Finsupp/Weight.lean
feat (Data.Finsupp.Weight) : general API for weights and size of finsupp (#14875) …
Added Finsupp.le_degreeView on Github →