OAI/Computability/DegreeRigidity/SetModels/InternalColumnProjection.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.InternalColumnProjection.columns line 8
2. theorem OAI.TuringRigidity.InternalColumnProjection.mem_columns line 11
3. theorem OAI.TuringRigidity.InternalColumnProjection.columns_mem line 14
4. theorem OAI.TuringRigidity.InternalColumnProjection.support_subset_columns line 22
5. def OAI.TuringRigidity.InternalColumnProjection.projection line 28
6. theorem OAI.TuringRigidity.InternalColumnProjection.pair_projection line 32
7. theorem OAI.TuringRigidity.InternalColumnProjection.projection_mem line 43
8. theorem OAI.TuringRigidity.InternalColumnProjection.projection_function line 56
9. theorem OAI.TuringRigidity.InternalColumnProjection.projection_onto line 68
10. theorem OAI.TuringRigidity.InternalColumnProjection.columns_counted line 74