Theorem List.minimum_ne_top_of_length_pos

Modification history