OAI/Combinatorics/EditDistance/Families.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Finite word families with averaged displacement control

  1. structure OAI.EditFamily.Family line 14
  2. lemma OAI.EditFamily.indel_singletons_le line 33
  3. def OAI.EditFamily.base line 36