Theorem NFA.accepts_eq_acceptsFrom_start

Modification history

2025-11-26 13:03
Mathlib/Computability/NFA.lean
feat(Computability/NFA): NFA acceptsFrom definitions and lemmas (#31038) …
Added NFA.accepts_eq_acceptsFrom_startView on Github →