Theorem ContextFreeGrammar.reverse_injective

Modification history