Theorem List.le_maximum_of_length_pos_iff

Modification history