Theorem List.subset_def

Modification history