OAI/Computability/DegreeRigidity/Representation/SourceIdentity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.GenericIdentity.RepresentsAt line 8
2. def OAI.TuringRigidity.GenericIdentity.ImageJoin line 11
3. theorem OAI.TuringRigidity.GenericIdentity.imageJoin_degree line 14
4. theorem OAI.TuringRigidity.GenericIdentity.source_5_4 line 22
5. theorem OAI.TuringRigidity.GenericIdentity.source_5_5_iff line 34
6. theorem OAI.TuringRigidity.GenericIdentity.selected_source_equation line 54