OAI/Computability/DegreeRigidity/Effective/LocalSourceEquation.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.TuringRigidity.LocalSourceEquation.(instance at line 9) line 9
2. theorem OAI.TuringRigidity.LocalSourceEquation.local_map_join line 15
3. theorem OAI.TuringRigidity.LocalSourceEquation.local_intersection line 19
4. theorem OAI.TuringRigidity.LocalSourceEquation.graph_join line 40
5. theorem OAI.TuringRigidity.LocalSourceEquation.graph_intersection line 50
6. def OAI.TuringRigidity.LocalSourceEquation.Represented line 65
7. theorem OAI.TuringRigidity.LocalSourceEquation.sourceEquation_of_graph line 69