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.
|