Theorem Finsupp.toLex_monotone

Modification history

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