Theorem List.lex_singleton_iff

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_singleton_iffView on Github →