Theorem Set.unionᵢ_union

Modification history