Theorem Finsupp.lex_def

Modification history

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