Theorem Convex.is_linear_image

Modification history