Theorem List.lex_cons_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_cons_iff View on Github →