Theorem NFA.mem_accepts

Modification history