Theorem List.le_maximum_of_length_pos_of_mem

Modification history