mathlib3

6c94eb08 - Merge branch 'master' into RussellEmerine/DFA_equivalent_regular_expression