Theorem StrictConvex.is_linear_preimage

Modification history