Source: wikibot/immerman-szelepcsenyi-theorem

= Immerman–Szelepcsényi theorem
{wiki=Immerman–Szelepcsényi_theorem}