Theorem vsub_midpoint

Modification history