History of tag 09YC
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2016-12-08 |
3ccb2fc |
Move a lemma earlier
|
|
changed the label to proposition-there-is-a-scheme-finite-over
|
2014-05-23 |
ef0eb7e |
Move two lemmas earlier
This we can now do as we have a version of ZMT available.
|
|
moved the statement to file spaces-limits.tex
|
2014-05-23 |
ef0eb7e |
Move two lemmas earlier
This we can now do as we have a version of ZMT available.
|
|
changed the statement and the proof
|
2014-05-23 |
ef0eb7e |
Move two lemmas earlier
This we can now do as we have a version of ZMT available.
|
|
assigned tag 09YC
|
2014-01-17 |
3a13278
|
Tags: Added new tags
|
|
changed the proof
|
2014-01-17 |
98c06b3 |
Correct a typo
|
|
created statement with label lemma-there-is-a-scheme-finite-over in spaces-more-morphisms.tex
|
2014-01-14 |
3bbb18c |
Dominating \'etale covers by finite ones (Zar loc)
This commit does it for algebraic spaces.
Is there an essentially simpler proof for schemes? In the affine case we
already have a proof (Gabber's trick, which actually produces a syntomic
finite covering).
|