History of tag 0GHE
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2024-06-17 |
0930990 |
fix small typos
|
|
changed the proof
|
2021-04-10 |
fdcd446 |
Small changes
|
|
changed the proof
|
2021-04-08 |
b038763 |
Finish proof of limit preserving of Artin's functor
Yay!
|
|
changed the proof
|
2021-04-07 |
23249c4 |
Saving progress so far
It could all be baloney!
|
|
assigned tag 0GHE
|
2021-04-01 |
287eac1
|
Tags: added new tags
|
|
created statement with label lemma-closed-immersion in artin.tex
|
2021-03-18 |
6d8ce7c |
Start writing on contractions a la Artin
Not sure how to improve on the notation...
|