Mathlib v3 is deprecated. Go to Mathlib v4

Theorem eq_zero_or_ne_zero

Modification history

2022-05-23 10:20
src/algebra/ne_zero.lean
feat(algebra/ne_zero): add helper methods (#14286) …
Added eq_zero_or_ne_zeroView on Github →