Theorem ContextFreeRule.Rewrites.nonterminal_input_mem

Modification history

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