Theorem SameRay.sameRay_pos_smul_left

Modification history