Theorem midpoint_vadd_midpoint

Modification history