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₀