OAI/Combinatorics/ThinTrees/Flow/ParallelCopies.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Parallel copies.

  1. abbrev OAI.AlgorithmicThinTrees.Orientations.Copy line 16
  2. def OAI.AlgorithmicThinTrees.Orientations.copyEquiv line 18
  3. def OAI.AlgorithmicThinTrees.Orientations.copyProjection line 20
  4. def OAI.AlgorithmicThinTrees.Orientations.copies line 23
  5. lemma OAI.AlgorithmicThinTrees.Orientations.sum_copies line 28
  6. lemma OAI.AlgorithmicThinTrees.Orientations.fiber_copies line 33
  7. lemma OAI.AlgorithmicThinTrees.Orientations.capacity_unit line 38
  8. lemma OAI.AlgorithmicThinTrees.Orientations.capacity_copies line 43
  9. lemma OAI.AlgorithmicThinTrees.Orientations.partCount_ker line 50
  10. lemma OAI.AlgorithmicThinTrees.Orientations.crossing_ker line 66
  11. lemma OAI.AlgorithmicThinTrees.Orientations.packing_of_partitions line 71