Theorem Wbtw.sameRay_vsub_left

Modification history