History for tag 09X5—The Stacks project

History of tag 09X5

type	time	link
assigned tag 09X5	2014-01-09	2dc18c2
Tags: Added new tags
created statement with label lemma-proper-surjective-is-qc-covering in sites-cohomology.tex	2014-01-09	dbeac13
And now we finally have the comparison for proper hypercoverings