History of tag 0ET8
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2020-11-16 |
e665bd8 |
A limit of profinite spaces is profinite
Thanks to Curuous Dilettante
https://stacks.math.columbia.edu/tag/08ZW#comment-5552
|
|
assigned tag 0ET8
|
2018-08-15 |
e0150c3
|
Tags: Added new tags
Also added a few words to intro of sections on h and ph topologies
|
|
created statement with label lemma-directed-inverse-limit-profinite in topology.tex
|
2018-08-13 |
47215e8 |
Cofiltered limit of profinite is profinite
|