power): generalize `zpow_eq_zero_iff` (#15997)

Commit

3 years ago

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

Author

urkud

Parents