Theorem ContextFreeGrammar.Derives.append_left

Modification history

2023-12-22 14:46

Mathlib/Computability/ContextFreeGrammar.lean

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

Added ContextFreeGrammar.Derives.append_left View on Github →