Theorem Set.biInter_image

Modification history