OAI/Combinatorics/ThinTrees/Continuation/FiniteContinuation.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Finite continuation.

  1. def OAI.AlgorithmicThinTrees.MetricTests.finiteStep line 16
  2. lemma OAI.AlgorithmicThinTrees.MetricTests.finiteStep_sound line 20
  3. lemma OAI.AlgorithmicThinTrees.MetricTests.interior_capacities_lower line 28
  4. lemma OAI.AlgorithmicThinTrees.MetricTests.finite_interior_numbers line 53
  5. theorem OAI.AlgorithmicThinTrees.MetricTests.finite_continuation_inner_cube line 100