https://developer.adobe.com/experience-manager/reference-materials/cloud-service/javadoc/org/apache/jackrabbit/oak/spi/security/user/action/GroupAction.html
GroupAction (The Adobe Experience Manager SDK 2022.11.9850.20221116T162329Z-220900)
adobe experience managergroupaction
https://leanprover-community.github.io/mathlib4_docs/Mathlib/GroupTheory/GroupAction/Hom.html
Mathlib.GroupTheory.GroupAction.Hom
mathlibgroupactionhom
https://leanprover-community.github.io/mathlib4_docs/Mathlib/GroupTheory/GroupAction/DomAct/Basic.html
Mathlib.GroupTheory.GroupAction.DomAct.Basic
mathlibgroupactionbasic
https://leanprover-community.github.io/mathlib4_docs/Mathlib/GroupTheory/GroupAction/Pointwise.html
Mathlib.GroupTheory.GroupAction.Pointwise
mathlibgroupactionpointwise
https://leanprover-community.github.io/mathlib4_docs/Mathlib/GroupTheory/GroupAction/CardCommute.html
Mathlib.GroupTheory.GroupAction.CardCommute
mathlibgroupaction