# 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)`

.

Mathlib v3 is deprecated. Go to Mathlib v4

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

.