History of tag 0GI5
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2024-06-17 |
0930990 |
fix small typos
|
|
assigned tag 0GI5
|
2021-04-10 |
147c399
|
Tags: added new tags
|
|
changed the proof
|
2021-04-10 |
fdcd446 |
Small changes
|
|
changed the proof
|
2021-04-10 |
24162d4 |
Checking formal effectivity
You need separatedness for this argument. If you use resulst from
the literature you can get by with quasi-separated
|
|
changed the proof
|
2021-04-08 |
b038763 |
Finish proof of limit preserving of Artin's functor
Yay!
|
|
created statement with label lemma-limit-preserving in artin.tex
|
2021-04-07 |
23249c4 |
Saving progress so far
It could all be baloney!
|