Theorem ContextFreeRule.rewrites_reverse_comm

Modification history