Theorem StrictConvex.affine_image

Modification history