Theorem StrictConvex.linear_preimage

Modification history