OAI/Computability/DegreeRigidity/Syntax/CheckGraphConstruction.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.TransitiveNameModel.second_mem_doubleUnion line 10
2. def OAI.TuringRigidity.TransitiveNameModel.taggedImageFormula line 16
3. theorem OAI.TuringRigidity.TransitiveNameModel.eval_taggedImageFormula line 19
4. def OAI.TuringRigidity.TransitiveNameModel.taggedImage line 25
5. theorem OAI.TuringRigidity.TransitiveNameModel.mem_taggedImage line 30
6. theorem OAI.TuringRigidity.TransitiveNameModel.taggedImage_mem line 41
7. theorem OAI.TuringRigidity.TransitiveNameModel.CheckGraph.mem_iff line 65
8. theorem OAI.TuringRigidity.TransitiveNameModel.checkGraph_of_mem_iff line 77