Theorem ConvexOn.smul_concaveOn

Modification history