Theorem ContextFreeGrammar.reverse_bijective

Modification history