Theorem StarConvex.smul_mem

Modification history