Referenced by:

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