Theorem ContextFreeGrammar.derives_reverse

Modification history