Theorem midpoint_sub_right

Modification history