Theorem smul_eq_zero_iff_eq

Modification history