OAI/Combinatorics/ThinTrees/Continuation/Ramp.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

Continuation ramp.

  1. lemma OAI.AlgorithmicThinTrees.MetricTests.incidence_ne_zero line 17
  2. lemma OAI.AlgorithmicThinTrees.MetricTests.centered_resistance_pos line 22
  3. def OAI.AlgorithmicThinTrees.MetricTests.cappedParameter line 28
  4. def OAI.AlgorithmicThinTrees.MetricTests.ramp line 31
  5. lemma OAI.AlgorithmicThinTrees.MetricTests.cappedParameter_pos line 34
  6. lemma OAI.AlgorithmicThinTrees.MetricTests.cappedParameter_le_two line 39
  7. lemma OAI.AlgorithmicThinTrees.MetricTests.ramp_nonneg line 42
  8. lemma OAI.AlgorithmicThinTrees.MetricTests.ramp_le_one line 45
  9. lemma OAI.AlgorithmicThinTrees.MetricTests.ramp_active line 48
  10. lemma OAI.AlgorithmicThinTrees.MetricTests.capped_rankOne line 55
  11. def OAI.AlgorithmicThinTrees.MetricTests.lowerCapacity line 68
  12. lemma OAI.AlgorithmicThinTrees.MetricTests.lowerCapacity_lower line 71
  13. lemma OAI.AlgorithmicThinTrees.MetricTests.lowerCapacity_nonneg line 82
  14. lemma OAI.AlgorithmicThinTrees.MetricTests.lowerCapacity_le line 85
  15. lemma OAI.AlgorithmicThinTrees.MetricTests.continuation_scalar line 91
  16. lemma OAI.AlgorithmicThinTrees.MetricTests.ramp_scalar_lower line 100
  17. lemma OAI.AlgorithmicThinTrees.MetricTests.continuation_reciprocal line 113
  18. theorem OAI.AlgorithmicThinTrees.MetricTests.continuation_ramp_lower line 151