Theorem List.Sorted.le_head!

Modification history

2023-10-23 16:32
Mathlib/Data/List/Sort.lean
feat: two small lemmas about ordered lists (#7829) …
Added List.Sorted.le_head!View on Github →