Theorem NFA.mem_evalFrom_iff_nonempty_path

Modification history

2025-06-07 07:26
Mathlib/Computability/NFA.lean
feat(Computability/NFA): add a Path API (#25321) …
Added NFA.mem_evalFrom_iff_nonempty_pathView on Github →