Theorem List.shortlex_nil_or_eq_nil

Modification history

2025-03-17 17:38
Mathlib/Data/List/Shortlex.lean
feat: shortlex order on lists (#20310) …
Added List.shortlex_nil_or_eq_nilView on Github →