Theorem List.lex_nil_or_eq_nil

Modification history

2025-03-16 14:08
Mathlib/Data/List/Lex.lean
chore: move `List.Lex` lemmas out of the `List.Lex` namespace (#22935) …
Added List.lex_nil_or_eq_nilView on Github →