Theorem ContextFreeRule.reverse_surjective

Modification history