Referenced by:

• cycle-decomposition
• equivalence
• extrusive-posets
• groups-orbit-stabilizer-thm
• ucb-metamathematics-b-02
• multiplicative-groups-of-integers
• permutation-parity
• with-respect-to