History for tag 0H0I—The Stacks project

History of tag 0H0I

type	time	link
assigned tag 0H0I	2022-06-23	74d1c9b
Tags: Added new tags
changed the proof	2022-06-21	a037da9
A bit more on QC
created statement with label lemma-QC-bounded-above in stacks-sheaves.tex	2022-06-15	92d4f68
QC for cats fibred in groupoids over Sch/S Skeleton section