Theorem Language.IsContextFree.reverse

Modification history

2026-04-09 17:17
Mathlib/Computability/ContextFreeGrammar.lean
feat(Computability/ContextFreeGrammar): Make reversal closure an iff (#36907) …
Deleted Language.IsContextFree.reverseView on Github →
2024-06-04 09:29
Mathlib/Computability/ContextFreeGrammar.lean
feat: Context-free languages are closed under reversal (#9705)
Added Language.IsContextFree.reverseView on Github →