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).

Estimated changes