posic | Приспособлены к бесконечным произведениям квазикогерентных пучков

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

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