Theorem ContextFreeRule.reverse_bijective

Modification history