Theorem List.minimum_of_length_pos_le_iff

Modification history