Theorem Finsupp.Colex.le_iff_of_unique

Modification history

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