Theorem List.minimum_eq_none

Modification history