Referenced by:

• cats-equivalent
• cats-functor
• closed-under
• com-arithmetic-hierarchy
• com-pa-undecidable
• compactness-via-ultrafilters
• cycle-decomposition
• decidable
• delta-types
• extrusive-posets
• haskell-definedness
• ucb-metamathematics-b-06
• lang
• logic-naught-test
• logic-prime-atomic
• logic-types-topology
• minesweeper-math
• quantifier-elimination