Theorem List.maximum_ne_bot_of_ne_nil

Modification history