OAI/Computability/MinUncut/Graphs/GeneratedGraph.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncut.Costed.SourceWords.generatedGraph line 18
  2. lemma OAI.MinUncut.Costed.SourceWords.generatedGraph_yes line 23
  3. lemma OAI.MinUncut.Costed.SourceWords.generatedGraph_no line 48
  4. def OAI.MinUncut.Costed.Arena.Extends line 80
  5. lemma OAI.MinUncut.Costed.Arena.Extends.refl line 81
  6. lemma OAI.MinUncut.Costed.Arena.Extends.cons line 82
  7. lemma OAI.MinUncut.Costed.Arena.Extends.trans line 83
  8. lemma OAI.MinUncut.Costed.Arena.Extends.length line 87
  9. lemma OAI.MinUncut.Costed.Arena.Extends.read line 90
  10. lemma OAI.MinUncut.Costed.Arena.ListRep.mono line 97
  11. lemma OAI.MinUncut.Costed.Arena.CodeAt.mono line 100
  12. def OAI.MinUncut.Costed.Arena.Trace line 104
  13. lemma OAI.MinUncut.Costed.Arena.Trace.refl line 105
  14. lemma OAI.MinUncut.Costed.Arena.Trace.one line 106
  15. lemma OAI.MinUncut.Costed.Arena.Trace.trans line 107
  16. def OAI.MinUncut.Costed.Arena.Simulates line 112
  17. lemma OAI.MinUncut.Costed.Arena.simulate_zero line 117
  18. lemma OAI.MinUncut.Costed.Arena.simulate_succ line 124
  19. lemma OAI.MinUncut.Costed.Arena.simulate_tail line 131
  20. lemma OAI.MinUncut.Costed.Arena.simulate_comp line 138
  21. lemma OAI.MinUncut.Costed.Arena.simulate_caseZero line 162
  22. lemma OAI.MinUncut.Costed.Arena.simulate_caseSucc line 171