This repository was archived by the owner on Jul 24, 2024. It is now read-only.
[Merged by Bors] - feat(algebra/monoid_algebra): Add an equivalence between add_monoid_algebra and monoid_algebra in terms of multiplicative#4402
Closed
eric-wieser wants to merge 6 commits intomasterfrom
Commits
Commits on Oct 14, 2020
Commits on Oct 16, 2020
Commits on Oct 20, 2020
- andauthored
Commits on Oct 23, 2020
- committed
- committed
