Theorem smul_eq_zero_of_right

Modification history