Theorem suffixLevenshtein_cons₁_aux

Modification history

2024-08-01 16:02
Mathlib/Data/List/EditDistance/Defs.lean
chore: backports for leanprover/lean4#4814 (part 11) (#15394) …
Modified suffixLevenshtein_cons₁_auxView on Github →
2023-08-16 04:08
Mathlib/Data/List/EditDistance/Defs.lean
feat: computation of Levenshtein edit distance (#6117) …
Added suffixLevenshtein_cons₁_auxView on Github →