Theorem ContextFreeRule.Rewrites.append_right

Modification history