Mathlib Changelog
v4
Changelog
About
Github
Theorem
ContextFreeGrammar.Derives.eq_or_tail
Modification history
2023-10-13 12:52
Mathlib/Computability/ContextFreeGrammar.lean
feat(Computability/CFG): define context-free grammars (#6385)
Added
ContextFreeGrammar.Derives.eq_or_tail
View on Github →