Theorem StarConvex.preimage_add_left

Modification history