History of tag 0CTF
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0CTF
|
2016-10-19 |
d9096d4
|
Tags: Added new tags
|
|
created statement with label lemma-relative-pseudo-coherence 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.
|