OAI/Computability/PerfectCompleteness/Reduction/SourceCompleteness.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.PerfectCompleteness.SourceCompleteness.Presentation line 13
  2. def OAI.PerfectCompleteness.SourceCompleteness.presentationKey line 19
  3. def OAI.PerfectCompleteness.SourceCompleteness.generatedKeys line 22
  4. abbrev OAI.PerfectCompleteness.SourceCompleteness.Vertex line 26
  5. def OAI.PerfectCompleteness.SourceCompleteness.vertexOf line 29
  6. abbrev OAI.PerfectCompleteness.SourceCompleteness.VertexLabel line 33
  7. def OAI.PerfectCompleteness.SourceCompleteness.representation line 36
  8. theorem OAI.PerfectCompleteness.SourceCompleteness.representation_key line 40
  9. def OAI.PerfectCompleteness.SourceCompleteness.evaluatedLabel line 44
  10. def OAI.PerfectCompleteness.SourceCompleteness.strategy line 50
  11. theorem OAI.PerfectCompleteness.SourceCompleteness.strategy_value_eq line 57
  12. def OAI.PerfectCompleteness.SourceCompleteness.labelInPresentation line 69
  13. theorem OAI.PerfectCompleteness.SourceCompleteness.strategy_in_presentation line 77
  14. theorem OAI.PerfectCompleteness.SourceCompleteness.restore_strategy_in_presentation line 86
  15. def OAI.PerfectCompleteness.SourceCompleteness.Presentation.postcompose line 96
  16. def OAI.PerfectCompleteness.SourceCompleteness.coarseningEdge line 101
  17. theorem OAI.PerfectCompleteness.SourceCompleteness.coarseningEdge_strategy line 109