Theorem List.maximum_ne_bot_of_length_pos

Modification history