Theorem midpoint_vsub_left

Modification history