History for tag 0BKI—The Stacks project

History of tag 0BKI

type	time	link
changed the proof	2019-09-26	cff9d55
Spectral sequence for a smooth morphism
assigned tag 0BKI	2015-07-13	f2236fe
Tags: Added new tags
created statement with label lemma-K-injective-embedding-filtration in injectives.tex	2015-07-09	6d3d7e2
Generalized Cartan-Eilenberg Only for Grothendieck abelian categories