Referenced by:

• cats-full-faithful
• fixpoint
• ucb-metamathematics-b-02
• lang
• logic-ahrenfeucht-fraisse-game
• logic-types-topology
• quantifier-elimination
• sets-rank
• topology-continuity