OAI/Computability/DegreeRigidity/Effective/FiniteJoinSections.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.FiniteJoinSections.Cover line 9
2. theorem OAI.TuringRigidity.FiniteJoinSections.cover_realizes line 13
3. theorem OAI.TuringRigidity.FiniteJoinSections.cover_mono line 25
4. def OAI.TuringRigidity.FiniteJoinSections.Product line 33
5. theorem OAI.TuringRigidity.FiniteJoinSections.product_mono line 36
6. theorem OAI.TuringRigidity.FiniteJoinSections.product_realizes line 41
7. theorem OAI.TuringRigidity.FiniteJoinSections.product_dense line 47
8. def OAI.TuringRigidity.FiniteJoinSections.Section line 82
9. theorem OAI.TuringRigidity.FiniteJoinSections.section_dense line 85
10. def OAI.TuringRigidity.FiniteJoinSections.Fiber line 94
11. theorem OAI.TuringRigidity.FiniteJoinSections.fiber_dense line 97