Theorem smul_ne_zero_iff_left

Modification history