Theorem smul_left_cancel_iff

Modification history