Def DFA.acceptsFrom

Modification history

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