Theorem StarConvex.add_smul_mem

Modification history