Theorem Set.image_affine_Ico

Modification history