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)
Added List.head_le_of_ltView on Github →