Theorem List.Sorted.head!_le

Modification history

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