Theorem NFA.evalFrom_biUnion

Modification history

2026-07-15 16:59
Mathlib/Computability/NFA.lean
chore: delete deprecated declarations to the end of 2025 (#41178) …
Deleted NFA.evalFrom_biUnionView on Github →
2025-06-07 07:26
Mathlib/Computability/NFA.lean
feat(Computability/NFA): add a Path API (#25321) …
Added NFA.evalFrom_biUnionView on Github →