Theorem Set.image2_unionᵢ_right

Modification history