posic | Вниз по склону

Переписываю секцию, заменяя пару кокогерентных коассоциативных коалгебр над полем на одно полное локальное нетерово коммутативное кольцо.