mathlib3

dee49588 - feat(computability/*): Automata lemmas (#13194)

feat(computability/*): Automata lemmas (#13194) A bunch of missing API for `language`, `regular_expression`, `DFA`, `NFA`, `ε_NFA`. Co-authored-by: Fox Thomson