OAI/Computability/DegreeRigidity/Effective/TupleRelation.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.BoundedSetTheory.FiniteTuple.outputFirst line 12
2. theorem OAI.TuringRigidity.BoundedSetTheory.FiniteTuple.prepend_outputFirst line 16
3. def OAI.TuringRigidity.BoundedSetTheory.FiniteTuple.relation line 33
4. theorem OAI.TuringRigidity.BoundedSetTheory.FiniteTuple.relation_pair line 39
5. def OAI.TuringRigidity.BoundedSetTheory.FiniteTuple.relationFormula line 52
6. theorem OAI.TuringRigidity.BoundedSetTheory.FiniteTuple.eval_relationFormula line 56
7. theorem OAI.TuringRigidity.BoundedSetTheory.FiniteTuple.relation_mem line 86