Referenced by:

• frobenius-map
• groups-burnsides-lemma
• groups-orbit-stabilizer-thm
• ucb-catthy-06
• orbit-group