power): remove duplicate lemmas (#5083)

Commit

5 years ago

fix(algebra/group_with_zero/power): remove duplicate lemmas (#5083) `pow_eq_zero` and `pow_eq_zero'` are syntactically equal, as are `pow_ne_zero` and `pow_ne_zero'`.

Author

kbuzzard

Parents

2ed48468

mathlib3 7e66984c - fix(algebra/group_with_zero/power): remove duplicate lemmas (#5083)

mathlib3
7e66984c - fix(algebra/group_with_zero/power): remove duplicate lemmas (#5083)