Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0CQX

Go back to the tag's page.

type time link
assigned tag 0CQX 2016-10-04 e2bf707 
Tags: Added new tags
created statement with label lemma-map-from-hocolim in more-algebra.tex 2016-10-03 bb29e08 
Tiny improvement exposition Rlim and hocolim

View Lemma 15.86.5 as pdf