Theorem Finsupp.sup_apply

Modification history

2025-08-07 15:29
Mathlib/Data/Finsupp/Order.lean
chore(Finsupp): move order properties under `Order` (#25002)
Modified Finsupp.sup_applyView on Github →
2023-01-27 20:59
Mathlib/Data/Finsupp/Order.lean
feat: Port/Data.Finsupp.Order (#1891) …
Added Finsupp.sup_applyView on Github →