Theorem midpoint_sub_left

Modification history