Theorem ContextFreeRule.Rewrites.append_left

Modification history

2024-11-02 09:06
Mathlib/Computability/ContextFreeGrammar.lean
feat(ContextFreeGrammar): More lemmas about reversal (#16472) …
Modified ContextFreeRule.Rewrites.append_leftView on Github →
2023-12-22 14:46
Mathlib/Computability/ContextFreeGrammar.lean
feat(Computability/ContextFreeGrammar): derivations with prefix or postfix (#8630)
Added ContextFreeRule.Rewrites.append_leftView on Github →