Go back to the tag's page.
Tags: Added new tags
Derived limit commutes with \otimes K for pseudo-coherent K