Theorem Set.image_affine_Ioc

Modification history