Theorem StrictConvex.preimage_add_right

Modification history