Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 087U

Go back to the tag's page.

type time link
assigned tag 087U 2012-10-11 688e3c6
Tags: added new tags
created statement with label lemma-spell-out-theorem-formal-functions in coherent.tex 2012-10-02 daee35d
Grothendieck existence in projective case

Still a bit rough. Some of the material may have to be slightly
generalized to deal with the argument in the proper case.