Referenced by:

• cats-monic-epic
• com-index
• compute-universal-primrec-func
• ucb-catthy-04
• ucb-metamathematics-b-01
• logic-universal-axiomatization