Theorem ContextFreeGrammar.Derives.append_right

Modification history

2023-12-22 14:46

Mathlib/Computability/ContextFreeGrammar.lean

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

Added ContextFreeGrammar.Derives.append_right View on Github →