Commit 2025-07-22 06:11 08c479ee
View on Github →refactor: move AddGroupWithOne instances to the Ring subfolder (#27319)
There seems to be a convention here that the Algebra/Group folder should not contain things about AddMonoidWithOne, AddCommMonoidWithOne, AddGroupWithOne, and AddCommGroupWithOne, as these is more Ring-like, and cannot be additivized.
I renamed the variables to R and S to match the destination files, but everything else is copied directly.
Without this change, we're inconsistent and random assert_not_exists tests fail when trying to move content around within Algebra/Group.