Theorem Convex.smul_preimage

Modification history