Theorem Finsupp.Colex.lt_iff

Modification history

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