Theorem ContextFreeGrammar.derives_reverse_comm

Modification history

2024-11-02 09:06
Mathlib/Computability/ContextFreeGrammar.lean
feat(ContextFreeGrammar): More lemmas about reversal (#16472) …
Added ContextFreeGrammar.derives_reverse_commView on Github →