OAI/Computability/DegreeRigidity/CohenForcing/AtomicForcing.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.AtomicForcing.Below line 10
2. def OAI.TuringRigidity.AtomicForcing.EqForces line 13
3. def OAI.TuringRigidity.AtomicForcing.MemForces line 18
4. theorem OAI.TuringRigidity.AtomicForcing.eq_mono line 21
5. theorem OAI.TuringRigidity.AtomicForcing.mem_mono line 30
6. theorem OAI.TuringRigidity.AtomicForcing.eq_refl line 35
7. theorem OAI.TuringRigidity.AtomicForcing.eq_symm line 41
8. theorem OAI.TuringRigidity.AtomicForcing.eq_trans line 55
9. theorem OAI.TuringRigidity.AtomicForcing.eq_of_dense line 73
10. theorem OAI.TuringRigidity.AtomicForcing.mem_of_dense line 89