Theorem ContextFreeGrammar.Produces.trans_derives

Modification history