Theorem DFinsupp.toColex_monotone

Modification history

2025-12-02 05:38
Mathlib/Data/DFinsupp/Lex.lean
feat: colex order on (dependent) finsupps (#30482)
Added DFinsupp.toColex_monotoneView on Github →