Theorem Set.image_affine_Ioo

Modification history