Кошулевость когомологий = К(π,1)-ность + квазиформальность

Раздел 3 про некоммутативную рациональную теорию гомотопий написан, вместе с необходимым для него приложением; основная теорема в разделе 4 сформулирована -- http://positselski.narod.ru/qf.pdf (29 страниц)

Некоммутативная рациональная теория гомотопий - постскриптум

Я перемудрил; основное утверждение (что квазиизоморфизм неотрицательно когомологически градуированных DG-коалгебр индуцирует квазиизоморфизм их кобар-конструкций) доказывается в две строчки. Там просто убывающая фильтрация на кобар-конструкции конечна в каждой когомологической степени.

Так и не заметил бы, если б не полез в литературу уточнять ссылки.

Летняя жара сказывается на мозгу.

Теперь у меня готовый написанный аппендикс приложен к статье, в которой он по существу практически не нужен. Выкинуть или оставить? Хочется оставить -- куда ж я его еще приложу, а жалко пропадать добру.