Commit 2020-11-24 19:48 7e66984c
View on Github →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'.
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'.