Theorem NFA.eval_nil

Modification history