Theorem NFA.eval_singleton

Modification history