Theorem Set.image2_iUnion_left

Modification history