Theorem Set.unionᵢ_image_inf_right

Modification history