Theorem NFA.eval_append_singleton

Modification history