Обсуждение:Классы L, NL, coNL. NL-полнота задачи о достижимости

Определеньки надо бы вынести из теорем.

Я, видимо, туплю, но я не понимаю, как <tex>\mathrm{\overline{CONN}} \in \mathrm{NL} \Rightarrow \mathrm{NL} = \mathrm{coNL}…

~~~~