Theorem List.minimum_cons

Modification history