Mathlib Changelog
v4
Changelog
About
Github
Theorem
ContextFreeGrammar.Produces.append_right
Modification history
2023-12-22 14:46
Mathlib/Computability/ContextFreeGrammar.lean
feat(Computability/ContextFreeGrammar): derivations with prefix or postfix (#8630)
Added
ContextFreeGrammar.Produces.append_right
View on Github →