Theorem ContextFreeRule.reverse_involutive

Modification history