mathlib
a41efd85 - Eliminate `finish` from `to_NFA_eval_from_match`

Commit

4 years ago

Eliminate `finish` from `to_NFA_eval_from_match`

Author

stuart-presnell

stuart-presnell

Committer

stuart-presnell

stuart-presnell

Parents

Loading