OAI/Computability/DegreeRigidity/Syntax/FiniteGraphSatisfaction.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.RelativeConstructible.prependValues line 11
2. theorem OAI.TuringRigidity.RelativeConstructible.prependValues_tail line 15
3. theorem OAI.TuringRigidity.RelativeConstructible.prependValues_lt line 24
4. def OAI.TuringRigidity.RelativeConstructible.readGraph line 35
5. theorem OAI.TuringRigidity.RelativeConstructible.readGraph_eval line 41
6. def OAI.TuringRigidity.RelativeConstructible.graphTruth line 61
7. theorem OAI.TuringRigidity.RelativeConstructible.graphTruth_spec line 64