Mathlib Changelog
v4
Changelog
About
Github
Theorem
zpow_eq_zero
Modification history
2024-05-08 08:43
Mathlib/Algebra/GroupWithZero/Power.lean
chore: Deduplicate `zpow_ne_zero_of_ne_zero` and `zpow_ne_zero` (#12734) …
Deleted
zpow_eq_zero
View on Github →
2023-01-02 19:20
Mathlib/Algebra/GroupWithZero/Power.lean
feat: port algebra.group_with_zero.power (#1251) …
Added
zpow_eq_zero
View on Github →