Theorem Language.isContextFree_reverse

Modification history

2026-04-09 17:17
Mathlib/Computability/ContextFreeGrammar.lean
feat(Computability/ContextFreeGrammar): Make reversal closure an iff (#36907) …
Added Language.isContextFree_reverseView on Github →