Theorem DFA.mem_accepts

Modification history

2024-07-14 20:04

Mathlib/Computability/DFA.lean

feat: DFA.acceptsFrom, DFA.map, DFA.equiv (#11372) …

Modified DFA.mem_accepts View on Github →

2023-02-16 08:49

Mathlib/Computability/DFA.lean

feat: port Computability.DFA (#2317)

Added DFA.mem_accepts View on Github →