OAI/Combinatorics/ThinTrees/Continuation/Feasibility.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Continuation feasibility.

  1. lemma OAI.AlgorithmicThinTrees.Partitions.slack_top line 18
  2. lemma OAI.AlgorithmicThinTrees.MetricTests.capacity_change_worst line 34
  3. lemma OAI.AlgorithmicThinTrees.MetricTests.continuation_fraction_cutoff line 46
  4. lemma OAI.AlgorithmicThinTrees.MetricTests.chain_continuation_feasible line 67
  5. def OAI.AlgorithmicThinTrees.MetricTests.continuationBaseline line 150
  6. def OAI.AlgorithmicThinTrees.MetricTests.continuationStep line 152
  7. lemma OAI.AlgorithmicThinTrees.MetricTests.continuation_parameters line 154
  8. theorem OAI.AlgorithmicThinTrees.MetricTests.feasible_continuation_response line 168