Theorem Finsupp.lt_of_forall_lt_of_lt

Modification history

2023-02-14 10:34
Mathlib/Data/Finsupp/Lex.lean
feat: port Data.Finsupp.Lex (#2272)
Added Finsupp.lt_of_forall_lt_of_ltView on Github →