Theorem List.subset_cons

Modification history