OAI/Computability/DegreeRigidity/CohenForcing/InternalCohenReindex.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.InternalCohenReindex.Matches line 11
2. def OAI.TuringRigidity.InternalCohenReindex.matchesFormula line 15
3. theorem OAI.TuringRigidity.InternalCohenReindex.matchesFormula_spec line 19
4. theorem OAI.TuringRigidity.InternalCohenReindex.matches_graph_iff line 24
5. def OAI.TuringRigidity.InternalCohenReindex.reindexIso line 46
6. def OAI.TuringRigidity.InternalCohenReindex.reindexGraph line 50
7. theorem OAI.TuringRigidity.InternalCohenReindex.pair_reindexGraph line 54
8. theorem OAI.TuringRigidity.InternalCohenReindex.reindexGraph_mem line 64
9. theorem OAI.TuringRigidity.InternalCohenReindex.reindexGraph_spec line 83
10. theorem OAI.TuringRigidity.InternalCohenReindex.internal_reindex line 99