Theorem ContextFreeRule.reverse_comp_reverse

Modification history