Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0BK6

Go back to the tag's page.

type time link
changed the proof 2019-10-26 e4548c3 
Derived category of dgms
assigned tag 0BK6 2015-07-13 f2236fe 
Tags: Added new tags
created statement with label lemma-product-K-injective in derived.tex 2015-07-13 5512d4d 
K = Rlim truncations iff I = lim I_n

View Lemma 13.31.5 as pdf