Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0CTJ

Go back to the tag's page.

type time link
changed the proof 2017-03-29 0b7e54e
Fix typo
assigned tag 0CTJ 2016-10-19 d9096d4
Tags: Added new tags
created statement with label lemma-monomorphism-isomorphism in flat.tex 2016-10-19 cc6df36
Grothendieck existence revisited

Thanks to Bhargav Bhatt for suggestion to use the Rlim

The proof uses almost all of the Raynaud-Gruson tricks
in the guise of the existence of universal flattenings.