Theorem Prod.Lex.le_iff

Modification history

2025-01-22 11:38

Mathlib/Data/Prod/Lex.lean

feat: definition of `<` on `α ×ₗ β` in partial orders (#20067) …

Modified Prod.Lex.le_iff View on Github →

2022-11-29 20:45

Mathlib/Data/Prod/Lex.lean

feat(Data.Prod.Lex): port file (#783) …

Added Prod.Lex.le_iff View on Github →