Theorem ContextFreeGrammar.Produces.append_left

Modification history

2023-12-22 14:46

Mathlib/Computability/ContextFreeGrammar.lean

feat(Computability/ContextFreeGrammar): derivations with prefix or postfix (#8630)

Added ContextFreeGrammar.Produces.append_left View on Github →