History of tag 099T
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
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!
|
|
assigned tag 099T
|
2013-06-11 |
855db3b
|
Tags: Added new tags
|
|
changed the statement and the proof
|
2013-05-24 |
719c185 |
LaTeX: \etale
Introduced the macro
\def\etale{{\acute{e}tale}}
and replaced all occurences of \acute{e}tale by \etale
|
|
created statement with label lemma-fully-faithful in proetale.tex
|
2013-05-24 |
312f61d |
Start comparing pro-etale and etale topologies
|