Commit 2025-11-06 11:18 0e930a0f
View on Github →feat: define IsRightUniformGroup and IsLeftUniformGroup (#30029)
This mostly contains the definition and additional documentation. Future PRs will take care of expanding the theory, and proving in particular that IsUniformGroup is precisely the conjuction of these two typeclasses.