Immerman–Szelepcsényi theorem

From dankwiki

f(n) ≥ log(n) implies that NSPACE(f(n)) = co-NSPACE(f(n)).

See Also