Theorem ContextFreeRule.rewrites_reverse

Modification history