Referenced by:

• 03910413241277448564r
• adt-differentiation
• com-computable
• com-computably-enumerable
• com-index
• com-minimal-index
• lang
• logic-propositional-logic
• nonmeasurable-sets