Theorem Pi.lex_lt_of_lt_of_preorder

Modification history

2022-12-20 13:42
Mathlib/Data/Pi/Lex.lean
feat: port Data.Pi.Lex (#1104) …
Added Pi.lex_lt_of_lt_of_preorderView on Github →