Theorem Set.subset_unionᵢ₂

Modification history