Theorem Finsupp.Colex.single_strictMono

Modification history

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