Theorem DFA.mem_acceptsFrom

Modification history

2024-07-14 20:04
Mathlib/Computability/DFA.lean
feat: DFA.acceptsFrom, DFA.map, DFA.equiv (#11372) …
Added DFA.mem_acceptsFromView on Github →