History of tag 0AQ9
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2021-02-07 |
4047864 |
Small changes related to cross references
|
|
moved the statement to file restricted.tex
|
2021-02-07 |
914d040 |
Fix up section with the main theorem
Still to do: explain better why this is interesting
|
|
changed the statement and the proof
|
2021-02-07 |
914d040 |
Fix up section with the main theorem
Still to do: explain better why this is interesting
|
|
changed the proof
|
2016-05-05 |
b260a06 |
Swap T and T'
Thanks to Brian Conrad
http://stacks.math.columbia.edu/tag/0AQ9#comment-1965
|
|
assigned tag 0AQ9
|
2014-10-03 |
9a68c95
|
Tags: Added new tags
|
|
created statement with label lemma-map-completions-finite-type in formal-spaces.tex
|
2014-09-29 |
9765367 |
Properties of formal completion
|