Referenced by:

• groups-burnsides-lemma
• groups-orbit-stabilizer-thm