OAI/Computability/DegreeRigidity/CohenForcing/CohenColumnRealValue.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.CohenColumnRealName.union_real line 14
2. theorem OAI.TuringRigidity.CohenColumnRealName.val_realName line 33
3. theorem OAI.TuringRigidity.CohenColumnRealName.generic_real_value line 52
4. theorem OAI.TuringRigidity.CohenColumnRealName.singleton_filter_iff line 63
5. theorem OAI.TuringRigidity.CohenColumnRealName.pair_mem_projected_union line 83
6. theorem OAI.TuringRigidity.CohenColumnRealName.singleton_coordinates_subset line 98
7. theorem OAI.TuringRigidity.CohenColumnRealName.projected_real_value line 105