OAI/Computability/DegreeRigidity/SetModels/Degrees.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.reduces_refl line 9
2. theorem OAI.TuringRigidity.reduces_trans line 10
3. def OAI.TuringRigidity.degree line 13
4. theorem OAI.TuringRigidity.degree_le_iff line 15
5. theorem OAI.TuringRigidity.degree_eq_iff line 17
6. theorem OAI.TuringRigidity.degree_surjective line 21
7. theorem OAI.TuringRigidity.order_rigidity_of_inverse_le line 25