OAI/Computability/DegreeRigidity/CohenForcing/CohenCoordinates.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.CohenCoordinates.restrict line 10
  2. theorem OAI.TuringRigidity.CohenCoordinates.restrict_mono line 14
  3. def OAI.TuringRigidity.CohenCoordinates.reindex line 17
  4. def OAI.TuringRigidity.CohenCoordinates.combine line 29
  5. def OAI.TuringRigidity.CohenCoordinates.sumIso line 37
  6. def OAI.TuringRigidity.CohenCoordinates.partitionIso line 53
  7. def OAI.TuringRigidity.CohenCoordinates.support line 58
  8. theorem OAI.TuringRigidity.CohenCoordinates.mem_support line 60
  9. def OAI.TuringRigidity.CohenCoordinates.erase line 63
  10. theorem OAI.TuringRigidity.CohenCoordinates.support_erase line 68
  11. theorem OAI.TuringRigidity.CohenCoordinates.erase_injective_on line 74
  12. theorem OAI.TuringRigidity.CohenCoordinates.compatible_of_erase line 85