Theorem ContextFreeRule.Rewrites.input_output

Modification history