Бюрократы, editor, Администраторы
422
правки
Изменения
Нет описания правки
Определеньки надо бы вынести из теорем.
Я, видимо, туплю, но я не понимаю, как <tex>\mathrm{\overline{CONN}} \in \mathrm{NL} \Rightarrow \mathrm{NL} = \mathrm{coNL}</tex>…
