History for tag 05TQ—The Stacks project

History of tag 05TQ

type	time	link
changed the proof	2017-04-11	6027715
Unimportant changes to improve LaTeX
changed the proof	2013-12-22	e179438
LaTeX Introduced a macro \def\Ker{\text{Ker}} and replace all occurrences of \text{Ker} with \Ker
assigned tag 05TQ	2011-02-14	4f79f80
Tags: added new tags
created statement with label lemma-split-strict-monomorphism in derived.tex	2011-02-14	9792d80
Filtered injective resolutions They exist!