Theorem Finsupp.Colex.single_lt_iff

Modification history

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