mathlib3
1a3971c6
- substituted a simplification
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
substituted a simplification
References
#14250 - feat(computability): prove equivalence of NFAs and regular expressions
Author
RussellEmerine
Parents
06f7cdbe
Loading
