Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0GPR

Go back to the tag's page.

type time link
assigned tag 0GPR 2022-01-11 6f3b836 
Tags: Added new tags
created statement with label lemma-push-pull in spaces-groupoids.tex 2021-12-28 46f75ee 
QCoh=colim Coh for Noetherian groupoids in spaces

View Lemma 78.13.3 as pdf