Theorem SameRay.sameRay_nonneg_smul_right

Modification history