Theorem Set.unionᵢ₂_subset

Modification history