Theorem SameRay.nonneg_smul_left

Modification history