Theorem NFA.disjoint_evalFrom_reverse_iff

Modification history