Theorem Finsupp.toColex_monotone

Modification history

2025-12-11 10:44
Mathlib/Data/Finsupp/Lex.lean
feat: colex order on finsupps (#31019)
Added Finsupp.toColex_monotoneView on Github →