Commit 2022-08-11 09:04 bae872c3

feat(algebra/group_with_zero/power): generalize zpow_eq_zero_iff (#15997) Also golf two proofs.