Check out my first novel, midnight's simulacra!

Immerman–Szelepcsényi theorem

From dankwiki

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

See Also