Theorem List.maximum_nil

Modification history