History for tag 0GPP—The Stacks project

History of tag 0GPP

type	time	link
assigned tag 0GPP	2022-01-11	6f3b836
Tags: Added new tags
changed the statement and the proof	2021-12-29	d18f086
Fix messed up proof in groupoids Somehow didn't notice the arrow didn't go the way it was supposed to!
created statement with label lemma-construct-quasi-coherent in spaces-groupoids.tex	2021-12-28	46f75ee
QCoh=colim Coh for Noetherian groupoids in spaces