Theorem eq_zero_of_zpow_eq_zero

Modification history

2024-05-13 11:45
Mathlib/Algebra/GroupWithZero/Power.lean
chore: Delete `Algebra.GroupWithZero.Power` (#12825) …
Modified eq_zero_of_zpow_eq_zeroView on Github →
2024-05-08 08:43
Mathlib/Algebra/GroupWithZero/Power.lean
chore: Deduplicate `zpow_ne_zero_of_ne_zero` and `zpow_ne_zero` (#12734) …
Added eq_zero_of_zpow_eq_zeroView on Github →