Post #100 556 May 17, 2019, 20:07 UTC shen-miprus.pdf200.2 KB Конспект Шеня про MIP=NEXP, по которому я читал лекцию вчера