Commit 2025-12-11 09:25 50a5c453
View on Github →doc(GroupTheory/Coset): mention RightActions notation for right cosets (#32718)
mention the notations s <• a and s <+ᵥ a for (s : Set G) and (a : G) in the docs about cosets in a group
correct the typo 'op a • s with open AddOpposite' instead of op a +ᵥ s