Theorem ContextFreeGrammar.Produces.exists_nonterminal_input_mem

Modification history

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