Theorem StarConvex.add_smul_sub_mem

Modification history