OAI/Combinatorics/ThinTrees/Flow/RootedFlow.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Rooted flow.

  1. def OAI.AlgorithmicThinTrees.Orientations.Rooted.leftFlow line 16
  2. def OAI.AlgorithmicThinTrees.Orientations.Rooted.rightFlow line 20
  3. lemma OAI.AlgorithmicThinTrees.Orientations.Rooted.leftFlow_nonneg line 24
  4. lemma OAI.AlgorithmicThinTrees.Orientations.Rooted.rightFlow_nonneg line 29
  5. lemma OAI.AlgorithmicThinTrees.Orientations.Rooted.edgeFlow line 34
  6. def OAI.AlgorithmicThinTrees.Orientations.out line 45
  7. lemma OAI.AlgorithmicThinTrees.Orientations.Rooted.arc_at line 48
  8. lemma OAI.AlgorithmicThinTrees.Orientations.Rooted.out_eq line 60
  9. lemma OAI.AlgorithmicThinTrees.Orientations.out_nonneg line 87
  10. lemma OAI.AlgorithmicThinTrees.Orientations.internal_le_out line 95