History of tag 0GLZ
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0GLZ
|
2021-07-20 |
d4fff1e
|
Tags: Added new tags
|
|
created statement with label lemma-describe-pullback-from-etale in proetale.tex
|
2021-07-20 |
11a4d72 |
Fix the same thing again
The previous fix didn't work as the colimit wasn't filtered and the
argument using qcqs didn't work... Anyway, the additional lemma added
here should have been added a long time ago, so it is all for the best!
|