Theorem Set.unionᵢ₂_subset_iff

Modification history