Theorem Pi.lex_eq_finsupp_lex

Modification history

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