Theorem NFA.mem_accepts_reverse

Modification history