Theorem midpoint_vsub

Modification history