Theorem Set.subset_unionₛ_of_subset

Modification history