OAI/Combinatorics/EditDistance/UpperBound.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Alphabet-uniform upper bounds for least distortion

  1. lemma OAI.EditUpper.model_E_bound line 16
  2. lemma OAI.EditUpper.level_E_bound line 55
  3. theorem OAI.EditUpper.eventual_upper line 65