Referenced by:

• cyclic-permutation
• fixpoints-in-haskell
• frobenius-map
• groups-burnsides-lemma
• 02
• 03
• idempotents-and-projections
• sp24-uniformity