History of tag 0AIU
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2016-07-23 |
71ea836 |
More standard use of "partial ordering"
Thanks to Wei Xu
http://stacks.math.columbia.edu/tag/00CR#comment-588
and to Keenan Kidwell
http://stacks.math.columbia.edu/tag/00D3#comment-2102
|
|
assigned tag 0AIU
|
2014-07-15 |
43a6949
|
Tags: Added new tags
|
|
changed the proof
|
2014-07-15 |
b48d89a |
Fix language regarding thickenings
|
|
created statement with label lemma-colimit-is-formal in formal-spaces.tex
|
2014-07-14 |
ae66eeb |
Colimit of directed system ASs along thickenings is FAS
|