OAI/Computability/DegreeRigidity/SetModels/EnumerationTransport.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.EnumerationTransport.elem line 11
  2. def OAI.TuringRigidity.EnumerationTransport.liftAntichain line 12
  3. def OAI.TuringRigidity.EnumerationTransport.liftSet line 13
  4. def OAI.TuringRigidity.EnumerationTransport.liftRelation line 14
  5. theorem OAI.TuringRigidity.EnumerationTransport.lift_external line 17
  6. def OAI.TuringRigidity.EnumerationTransport.mapRelation line 19
  7. theorem OAI.TuringRigidity.EnumerationTransport.map_below line 22
  8. theorem OAI.TuringRigidity.EnumerationTransport.map_two line 26
  9. theorem OAI.TuringRigidity.EnumerationTransport.inverse_eq line 32
  10. def OAI.TuringRigidity.EnumerationTransport.mapEnumeration line 40
  11. theorem OAI.TuringRigidity.EnumerationTransport.mapEnumeration_below line 59