Skip to content
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 into from

chore(*): Simplify using the golfing trick

e026b21
Select commit
Loading
Failed to load commit list.
Closed

[Merged by Bors] - feat(algebra/monoid_algebra): Add an equivalence between add_monoid_algebra and monoid_algebra in terms of multiplicative #4402

chore(*): Simplify using the golfing trick
e026b21
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs