Theorem Set.subset_unionₛ_of_mem

Modification history