Theorem Set.unionᵢ_image_inf_left

Modification history