Theorem DFA.evalFrom_reindex

Modification history

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