Theorem List.maximum_cons

Modification history