Theorem ContextFreeGrammar.mem_reverse_language_iff_reverse_mem_language

Modification history

2024-11-02 09:06
Mathlib/Computability/ContextFreeGrammar.lean
feat(ContextFreeGrammar): More lemmas about reversal (#16472) …
Deleted ContextFreeGrammar.mem_reverse_language_iff_reverse_mem_languageView on Github →
2024-06-04 09:29
Mathlib/Computability/ContextFreeGrammar.lean
feat: Context-free languages are closed under reversal (#9705)
Added ContextFreeGrammar.mem_reverse_language_iff_reverse_mem_languageView on Github →