Theorem NFA.toεNFA_evalFrom_match

Modification history

2023-02-20 14:58
Mathlib/Computability/EpsilonNFA.lean
feat: port Computability.EpsilonNFA (#2386)
Added NFA.toεNFA_evalFrom_matchView on Github →