Theorem StarConvex.add_left

Modification history