OAI/Computability/DegreeRigidity/SetModels/SetDegreeDecoding.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.SetDegreeDecoding.degreeSet line 12
2. theorem OAI.TuringRigidity.SetDegreeDecoding.real_mem_degreeSet line 15
3. theorem OAI.TuringRigidity.SetDegreeDecoding.mem_degreeSet line 20
4. theorem OAI.TuringRigidity.SetDegreeDecoding.degreeSet_injective line 29
5. theorem OAI.TuringRigidity.SetDegreeDecoding.class_eq_degreeSet line 34
6. def OAI.TuringRigidity.SetDegreeDecoding.idealSet line 52
7. theorem OAI.TuringRigidity.SetDegreeDecoding.mem_idealSet line 56
8. theorem OAI.TuringRigidity.SetDegreeDecoding.quotient_eq_idealSet line 66
9. def OAI.TuringRigidity.SetDegreeDecoding.automorphismSet line 88
10. theorem OAI.TuringRigidity.SetDegreeDecoding.mem_automorphismSet line 92
11. theorem OAI.TuringRigidity.SetDegreeDecoding.action_eq_automorphismSet line 101