Theorem ContextFreeGrammar.generates_reverse_comm

Modification history