Theorem Wbtw.sameRay_vsub_right

Modification history