Theorem smul_neg_iff_of_pos_left

Modification history