Theorem StarConvex.preimage_add_right

Modification history