Theorem Set.sInter_image2

Modification history