Theorem NFA.evalFrom_append_singleton

Modification history