Commit 2021-12-19 12:15 9e5cbc12
View on Github →feat(algebra/group_power/basic): generalize zpow_neg_one
to div_inv_monoid
(#10894)
Drop zpow_neg_one₀
feat(algebra/group_power/basic): generalize zpow_neg_one
to div_inv_monoid
(#10894)
Drop zpow_neg_one₀