Theorem Finsupp.lex_eq_invImage_dfinsupp_lex

Modification history

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