Theorem List.maximum_of_length_pos_mem

Modification history

2023-10-27 10:36
Mathlib/Data/List/MinMax.lean
add minimum_of_length_pos_mem (#7974) …
Added List.maximum_of_length_pos_memView on Github →