OAI/Computability/DegreeRigidity/SetModels/GeneratedHull.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.BoundedSetTheory.FiniteTerm.internal_leaf_graph line 11
2. theorem OAI.TuringRigidity.BoundedSetTheory.FiniteTerm.eval_tuple line 34
3. def OAI.TuringRigidity.BoundedSetTheory.FiniteTerm.generatedRange line 46
4. theorem OAI.TuringRigidity.BoundedSetTheory.FiniteTerm.generatedRange_mem line 49
5. theorem OAI.TuringRigidity.BoundedSetTheory.FiniteTerm.mem_generatedRange line 55
6. theorem OAI.TuringRigidity.BoundedSetTheory.FiniteTerm.generatedRange_closed line 69
7. theorem OAI.TuringRigidity.BoundedSetTheory.FiniteTuple.witnesses_of_closed_graphs line 90