Theorem StarConvex.linear_preimage

Modification history