basic): generalize `zpow_neg_one` to `div_inv_monoid` (#10894)

Commit

4 years ago

feat(algebra/group_power/basic): generalize `zpow_neg_one` to `div_inv_monoid` (#10894) Drop `zpow_neg_one₀`

Author

urkud

Parents