Theorem ContextFreeGrammar.Derives.eq_or_head

Modification history