Theorem List.head!_le_of_lt

Modification history

2024-06-06 00:45
Mathlib/Data/List/Lex.lean
chore(Data/List/Lex): golf and generalize (#13546)
Modified List.head!_le_of_ltView on Github →
2023-10-26 10:03
Mathlib/Data/List/Lex.lean
feat: condition for being < an ordinal in a decreasing list (#7899)
Modified List.head!_le_of_ltView on Github →
2023-10-23 16:32
Mathlib/Data/List/Lex.lean
feat: two small lemmas about ordered lists (#7829) …
Added List.head!_le_of_ltView on Github →