Theorem StarConvex.preimage_smul

Modification history