Theorem Set.image_sUnion

Modification history