Theorem NFA.evalFrom_singleton

Modification history