Commit 2022-08-31 06:55 20cfd341
View on Github →refactor(algebra/monoid_algebra/{ basic + support } + import dust): move lemmas to a new "support" file (#16322)
This PR moves some lemmas from algebra/monoid_algebra/basic to the new file algebra/monoid_algebra/support.
Zulip discussion