Theorem StarConvex.is_linear_image

Modification history