Theorem ContextFreeGrammar.generates_reverse

Modification history