Commit 2024-11-15 16:35 22888caa
View on Github →chore(Algebra/Group/Opposite): split off material on Units (#18991)
This removes a few dependencies on Units that appear in the basics of group actions.
The hope is that we can eventually avoid importing Units in the file defining Module.