OAI/Computability/DegreeRigidity/Representation/AutomorphismUnion.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.TuringRigidity.AutomorphismUnion.Approximation line 9
  2. instance OAI.TuringRigidity.AutomorphismUnion.(instance at line 13) line 13
  3. def OAI.TuringRigidity.AutomorphismUnion.Domain line 22
  4. def OAI.TuringRigidity.AutomorphismUnion.Graph line 25
  5. theorem OAI.TuringRigidity.AutomorphismUnion.graph_mono line 28
  6. theorem OAI.TuringRigidity.AutomorphismUnion.graph_domain line 34
  7. theorem OAI.TuringRigidity.AutomorphismUnion.graph_total line 39
  8. theorem OAI.TuringRigidity.AutomorphismUnion.graph_surjective line 44
  9. theorem OAI.TuringRigidity.AutomorphismUnion.graph_order line 50
  10. theorem OAI.TuringRigidity.AutomorphismUnion.graph_unique line 60
  11. theorem OAI.TuringRigidity.AutomorphismUnion.graph_injective line 64
  12. def OAI.TuringRigidity.AutomorphismUnion.value line 68
  13. theorem OAI.TuringRigidity.AutomorphismUnion.value_graph line 72
  14. def OAI.TuringRigidity.AutomorphismUnion.inverse line 75
  15. theorem OAI.TuringRigidity.AutomorphismUnion.inverse_graph line 79
  16. def OAI.TuringRigidity.AutomorphismUnion.automorphism line 82
  17. theorem OAI.TuringRigidity.AutomorphismUnion.automorphism_graph line 89
  18. theorem OAI.TuringRigidity.AutomorphismUnion.automorphism_extends line 95
  19. theorem OAI.TuringRigidity.AutomorphismUnion.domain_lower line 100
  20. theorem OAI.TuringRigidity.AutomorphismUnion.domain_join line 105