Theorem Wbtw.sameRay_vsub

Modification history