mathlib3
f6504f1a - feat(computability/DFA): the pumping lemma (#5925)
Commit
View On GitHub
Commit
5 years ago
feat(computability/DFA): the pumping lemma (#5925)
Author
foxthomson foxthomson
Parents
1d49f87e
FAQ Terms Privacy Refunds Impressum
Loading