Theorem ContextFreeGrammar.produces_reverse_comm

Modification history