OAI/Combinatorics/ThinTrees/Flow/Interior.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Flow interior.

  1. def OAI.AlgorithmicThinTrees.Orientations.FlowPoint.bump line 19
  2. def OAI.AlgorithmicThinTrees.Orientations.FlowPoint.Close line 22
  3. def OAI.AlgorithmicThinTrees.Orientations.FlowPoint.Bounded line 26
  4. lemma OAI.AlgorithmicThinTrees.Orientations.FlowPoint.Exact.bump_bound line 29
  5. lemma OAI.AlgorithmicThinTrees.Orientations.out_perturb_upper line 50
  6. lemma OAI.AlgorithmicThinTrees.Orientations.exact_bump_cube line 61
  7. lemma OAI.AlgorithmicThinTrees.Orientations.capacity_shift_lower line 92
  8. theorem OAI.AlgorithmicThinTrees.Orientations.flow_inner_cube line 102
  9. lemma OAI.AlgorithmicThinTrees.Orientations.exact_bump_cube_vary line 136
  10. theorem OAI.AlgorithmicThinTrees.Orientations.flow_inner_cube_vary line 150
  11. lemma OAI.AlgorithmicThinTrees.Orientations.FlowPoint.Close.mono line 177
  12. lemma OAI.AlgorithmicThinTrees.Orientations.FlowPoint.Bounded.mono line 182