Def Finsupp.orderIsoFunOnFinite

Modification history

2025-11-24 13:11
Mathlib/Order/Preorder/Finsupp.lean
feat(Order): reprove Dickson's lemma (#31514) …
Added Finsupp.orderIsoFunOnFiniteView on Github →