Theorem NFA.eval_append_singleton

Modification history

2025-11-26 13:03

Mathlib/Computability/NFA.lean

feat(Computability/NFA): NFA acceptsFrom definitions and lemmas (#31038) …

Modified NFA.eval_append_singleton View on Github →

2023-02-18 15:40

Mathlib/Computability/NFA.lean

feat: port/Computability.NFA (#2338) …

Added NFA.eval_append_singleton View on Github →