Theorem SameRay.sameRay_pos_smul_right

Modification history