OAI/Computability/MinUncut/Graphs/SignedGraph.lean

GitHub source file

40 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.MinUncut.PathRealization.Demand line 11
  2. abbrev OAI.MinUncut.PathRealization.Vertex line 17
  3. def OAI.MinUncut.PathRealization.failure line 19
  4. def OAI.MinUncut.PathRealization.mono line 22
  5. def OAI.MinUncut.PathRealization.localCost line 24
  6. lemma OAI.MinUncut.PathRealization.local_lower line 27
  7. lemma OAI.MinUncut.PathRealization.local_extension line 32
  8. abbrev OAI.MinUncut.PathRealization.EdgeIndex line 36
  9. def OAI.MinUncut.PathRealization.ends line 38
  10. def OAI.MinUncut.PathRealization.edge line 46
  11. lemma OAI.MinUncut.PathRealization.ends_ne line 49
  12. lemma OAI.MinUncut.PathRealization.edge_injective line 54
  13. def OAI.MinUncut.PathRealization.edgeSet line 65
  14. lemma OAI.MinUncut.PathRealization.edgeSet_nondiag line 69
  15. def OAI.MinUncut.PathRealization.graph line 74
  16. instance OAI.MinUncut.PathRealization.(instance at line 79) line 79
  17. lemma OAI.MinUncut.PathRealization.graph_edgeFinset line 81
  18. def OAI.MinUncut.PathRealization.uncut line 88
  19. def OAI.MinUncut.PathRealization.totalFailure line 91
  20. def OAI.MinUncut.PathRealization.extend line 93
  21. lemma OAI.MinUncut.PathRealization.uncut_locals line 98
  22. lemma OAI.MinUncut.PathRealization.uncut_lower line 111
  23. lemma OAI.MinUncut.PathRealization.uncut_extend line 117
  24. def OAI.MinUncut.FiniteProof.orient line 129
  25. def OAI.MinUncut.FiniteProof.rep line 131
  26. lemma OAI.MinUncut.FiniteProof.rep_not line 134
  27. lemma OAI.MinUncut.FiniteProof.rep_restore line 140
  28. lemma OAI.MinUncut.FiniteProof.rep_fixed line 145
  29. abbrev OAI.MinUncut.FiniteProof.Query line 153
  30. abbrev OAI.MinUncut.FiniteProof.Variable line 154
  31. def OAI.MinUncut.FiniteProof.vertex line 156
  32. def OAI.MinUncut.FiniteProof.answer line 158
  33. def OAI.MinUncut.FiniteProof.Folded line 161
  34. lemma OAI.MinUncut.FiniteProof.answer_folded line 164
  35. lemma OAI.MinUncut.FiniteProof.answer_rep line 169
  36. lemma OAI.MinUncut.FiniteProof.answer_of_folded line 173
  37. structure OAI.MinUncut.FiniteProof.QueryDemand line 187
  38. def OAI.MinUncut.FiniteProof.QueryDemand.signed line 192
  39. def OAI.MinUncut.FiniteProof.QueryDemand.failure line 198
  40. lemma OAI.MinUncut.FiniteProof.QueryDemand.failure_signed line 202