Theorem wbtw_iff_sameRay_vsub

Modification history