Commit 2020-10-03 05:00 9e455c15
View on Github →feat(data/monoid_algebra): Allow R ≠ k in semimodule R (monoid_algebra k G) (#4365)
Also does the same for the additive version semimodule R (add_monoid_algebra k G)
.
feat(data/monoid_algebra): Allow R ≠ k in semimodule R (monoid_algebra k G) (#4365)
Also does the same for the additive version semimodule R (add_monoid_algebra k G)
.