OAI/Combinatorics/ThinTrees/Flow/FractionalPackingMargin.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Fractional packing margin.

  1. lemma OAI.AlgorithmicThinTrees.Orientations.partCount_le_vertices line 17
  2. lemma OAI.AlgorithmicThinTrees.Orientations.capacity_nonneg line 20
  3. lemma OAI.AlgorithmicThinTrees.Orientations.floor_capacity_lower line 24
  4. lemma OAI.AlgorithmicThinTrees.Orientations.FlowPoint.zero_exact line 37
  5. theorem OAI.AlgorithmicThinTrees.Orientations.exact_flow_of_margin line 41