Theorem DFA.evalFrom_comap

Modification history

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