Theorem StrictConvex.preimage_smul

Modification history