Theorem Finsupp.le_iff'

Modification history

2026-04-29 14:11
Mathlib/Data/Finsupp/Order.lean
chore: make argument in `zero_le`/`one_le` implicit (#38148) …
Modified Finsupp.le_iff'View on Github →
2023-01-27 20:59
Mathlib/Data/Finsupp/Order.lean
feat: Port/Data.Finsupp.Order (#1891) …
Added Finsupp.le_iff'View on Github →