Theorem NFA.disjoint_evalFrom_reverse

Modification history