Theorem SameRay.pos_smul_left

Modification history