OAI/Computability/DegreeRigidity/Representation/GenericFactor.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.GenericFactor.Rectangle line 8
  2. theorem OAI.TuringRigidity.GenericFactor.rectangle_dense line 11
  3. def OAI.TuringRigidity.GenericFactor.First line 40
  4. theorem OAI.TuringRigidity.GenericFactor.first_denseOpen line 43
  5. def OAI.TuringRigidity.GenericFactor.FirstFamily line 53
  6. theorem OAI.TuringRigidity.GenericFactor.firstFamily_denseOpen line 56
  7. def OAI.TuringRigidity.GenericFactor.Fiber line 60
  8. theorem OAI.TuringRigidity.GenericFactor.fiber_denseOpen line 63
  9. theorem OAI.TuringRigidity.GenericFactor.fiber_isOpen line 78
  10. theorem OAI.TuringRigidity.GenericFactor.join_generic line 88
  11. theorem OAI.TuringRigidity.GenericFactor.borel_fiber_selection line 94