Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0CRJ

Go back to the tag's page.

type time link
assigned tag 0CRJ 2016-10-07 c734233 
Tags: Added new tags
created statement with label lemma-hocolim-subsequence in derived.tex 2016-10-07 5c7a0ae 
Tiny bit more precision in derived colimits

View Lemma 13.33.4 as pdf