OAI/Computability/DegreeRigidity/CohenForcing/InternalCohenPartition.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.InternalCohenPartition.complement_mem line 10
2. theorem OAI.TuringRigidity.InternalCohenPartition.condition_subset line 16
3. theorem OAI.TuringRigidity.InternalCohenPartition.condition_mono line 20
4. theorem OAI.TuringRigidity.InternalCohenPartition.union_condition line 34
5. theorem OAI.TuringRigidity.InternalCohenPartition.union_restrict line 56
6. theorem OAI.TuringRigidity.InternalCohenPartition.restrict_union_left line 69
7. theorem OAI.TuringRigidity.InternalCohenPartition.restrict_union_right line 81
8. theorem OAI.TuringRigidity.InternalCohenPartition.subset_iff_restrict line 93