Theorem Set.unionᵢ_image_right

Modification history