Go back to the tag's page.
extended alternating Cech complex in more-algebra
Tags: Added new tags
Formal glueing of derived complete modules Derived complete things seem to be exactly the things that make this argument work. Cool!