Theorem StarConvex.add_right

Modification history