OAI/Combinatorics/ThinTrees/Flow/FractionalOrientation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Fractional orientation.

  1. def OAI.AlgorithmicThinTrees.Orientations.FlowPoint.Exact line 16
  2. lemma OAI.AlgorithmicThinTrees.Orientations.out_sum line 23
  3. lemma OAI.AlgorithmicThinTrees.Orientations.out_scale line 35
  4. lemma OAI.AlgorithmicThinTrees.Orientations.FlowPoint.Exact.scale line 42
  5. lemma OAI.AlgorithmicThinTrees.Orientations.FlowPoint.Exact.mono line 56
  6. lemma OAI.AlgorithmicThinTrees.Orientations.packed_exact_flow line 60
  7. def OAI.AlgorithmicThinTrees.Orientations.FlowPoint.push line 101
  8. lemma OAI.AlgorithmicThinTrees.Orientations.out_push line 106
  9. lemma OAI.AlgorithmicThinTrees.Orientations.FlowPoint.Exact.push line 124