Go back to the tag's page.
Fix silly mistake
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!