Referenced by:

• 84526879436771813636r
• 93088761842928594743r
• capability-posets
• cycle-decomposition
• group-direct-product
• ucb-metamathematics-b-04
• logic-ultraproduct
• monoid-isomorphism
• multiplicative-groups-of-integers
• parametricity
• permutation-parity
• permutation
• sets-axiom-of-choice
• sets-zfc