Theorem DFinsupp.Colex.lt_iff

Modification history

2025-12-02 05:38
Mathlib/Data/DFinsupp/Lex.lean
feat: colex order on (dependent) finsupps (#30482)
Added DFinsupp.Colex.lt_iffView on Github →