Theorem left_vsub_midpoint

Modification history