Commit 2021-01-17 21:46 c3639e94

refactor(algebra/monoid_algebra) generalize from group to monoid algebras (#5785) There was a TODO in the monoid algebra file to generalize three statements from group to monoid algebras. It seemed to be solvable by just changing the assumptions, not the proofs.