Referenced by:

• cats-category-theory
• cats-monic-epic
• cats-product
• com-computably-enumerable
• com-recursive
• delta-types
• ucb-catthy-02
• ucb-catthy-05
• ucb-catthy-06
• ucb-metamathematics-b-01