OAI/Combinatorics/EditDistance/UpperParameters.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Branching and depth choices at every sufficiently large length

  1. def OAI.EditUpperParameters.peak line 13
  2. def OAI.EditUpperParameters.level line 14
  3. def OAI.EditUpperParameters.branching line 15
  4. lemma OAI.EditUpperParameters.radius_peak line 17
  5. lemma OAI.EditUpperParameters.choose_parameters line 33
  6. theorem OAI.EditUpperParameters.eventual_choice line 109