Referenced by:

• algebra-structure
• cats-skeleton
• equivalence
• filter
• finite
• group-coset
• group-element-order
• group-subjects
• groups-orbit-stabilizer-thm
• ucb-catthy-03
• ucb-settheory-11
• logic-ahrenfeucht-fraisse-game
• logic-categorical
• logic-compactness
• logic-types
• minesweeper-math
• nonmeasurable-sets
• skolems-paradox
• orbit-group
• partial-ordering
• sets-axiom-of-choice
• sets-elemof-and-isom.z
• sets-well-ordering
• syntheses
• uniformity
• upward-lowenheim-skolem-thm