Theorem DFinsupp.lex_lt_iff

Modification history

2025-10-28 10:18
Mathlib/Data/DFinsupp/Lex.lean
feat: `CoeFun` for `Lex` and `Colex` (#30481) …
Added DFinsupp.lex_lt_iffView on Github →