Theorem ne_zero_of_eq_one

Modification history

2022-11-17 11:12
Mathlib/Algebra/NeZero.lean
feat: synchronize with mathlib3 #17477 (#577) …
Added ne_zero_of_eq_oneView on Github →