Theorem SameRay.pos_smul_right

Modification history