Theorem List.maximum_eq_none

Modification history