Theorem StarConvex.linear_image

Modification history