Theorem Levenshtein.impl_cons_fst_zero

Modification history