Referenced by:

• group-action
• groups-grp
• what-is-a-group