Провел два дня

доказывая существование гомотопически проективных комплексов контрагерентных копучков локально кокручения (см. три предыдущих постинга). То есть, даже не вообще доказывая, а так доказывая, чтобы не предполагать ни существования дуализирующего комплекса, ни полуотделимости, а только нетеровость и конечность размерности Крулля.

Трудно быть занудой. (Ну, не два дня, ладно. Ну, полтора.)