Theorem Convex.is_linear_preimage

Modification history