Theorem ContextFreeGrammar.derives_iff_eq_or_head

Modification history

2025-04-07 12:49
Mathlib/Computability/ContextFreeGrammar.lean
feat(Computability/CFG): lemmas about nonterminals (#21585) …
Added ContextFreeGrammar.derives_iff_eq_or_headView on Github →