Theorem SameRay.sameRay_nonneg_smul_left

Modification history