mathlib3

a7b4e782 - fix(computability/DFA): tighten regular pumping lemma to match standard textbooks (#9585)

fix(computability/DFA): tighten regular pumping lemma to match standard textbooks (#9585) This PR slightly tightens the regular pumping lemma: the current version applies only to words that are of length at least the number of states in the DFA plus one. Here we remove the plus one.