Referenced by:

• group-action-orbit
• groups-orbit-stabilizer-thm