Theorem midpoint_eq_midpoint_iff_vsub_eq_vsub

Modification history