History of tag 091U
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2020-06-08 |
1376d93 |
Explain how to get spectral sequences Ext
Thanks to Weixia Lu
https://stacks.math.columbia.edu/tag/0AVG#comment-4834
|
|
changed the proof
|
2017-04-11 |
04fef69 |
New macro: \Ext
|
|
changed the proof
|
2013-12-22 |
5b9bcfb |
LaTeX
Introduced a new macro
\def\Coker{\text{Coker}}
and replaced all occurrences of \text{Coker} by \Coker
|
|
changed the proof
|
2013-12-22 |
e179438 |
LaTeX
Introduced a macro
\def\Ker{\text{Ker}}
and replace all occurrences of \text{Ker} with \Ker
|
|
assigned tag 091U
|
2013-06-11 |
855db3b
|
Tags: Added new tags
|
|
changed the proof
|
2013-05-15 |
5ff9e6b |
Forgot to check something in proof
|
|
created statement with label lemma-serre-subcategory in more-algebra.tex
|
2013-05-14 |
5027993 |
Initial material on derived completion over rings
Todo: How does this compare with the "obvious" definition
that the map
M ---> \lim (M \otimes_A^L A/I^n)
be an isomorphism.
|