Referenced by:

• abstraction-group
• cats-natural-transformation
• cycle-decomposition
• cyclic-permutation
• delta-types
• groups-grp
• ucb-catthy-06
• permutation-parity
• sp24-uniformity
• symmetric-group