Referenced by:

• abstraction-group
• cyclic-permutation
• fixpoints-in-haskell
• frobenius-map
• groups-burnsides-lemma
• 02
• 03
• sp24-uniformity