Commit 2020-10-29 19:27 4d19191e
View on Github →feat(algebra/monoid_algebra): Add an equivalence between add_monoid_algebra
and monoid_algebra
in terms of multiplicative
(#4402)
feat(algebra/monoid_algebra): Add an equivalence between add_monoid_algebra
and monoid_algebra
in terms of multiplicative
(#4402)