Go back to the tag's page.
New macro: \Ext
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!