Theorem DFA.accepts_comap

Modification history

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