Theorem ContextFreeGrammar.reverse_involutive

Modification history