Theorem ContextFreeGrammar.derives_nonterminal

Modification history

2025-04-14 18:04
Mathlib/Computability/ContextFreeGrammar.lean
chore: tidy various files (#23975)
Modified ContextFreeGrammar.derives_nonterminalView on Github →
2025-04-07 12:49
Mathlib/Computability/ContextFreeGrammar.lean
feat(Computability/CFG): lemmas about nonterminals (#21585) …
Added ContextFreeGrammar.derives_nonterminalView on Github →