Theorem smul_eq_zero_of_left

Modification history

2023-01-25 10:47
Mathlib/Algebra/SMulWithZero.lean
feat: `a • b ≠ 0 → b ≠ 0` (#1411) …
Added smul_eq_zero_of_leftView on Github →