Theorem Set.subset_sUnion_of_subset

Modification history