History of tag 09BA
Go back to the tag's page.
| type |
time |
link |
|
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
|
|
assigned tag 09BA
|
2013-06-27 |
fc2dc18
|
Tags: Added new tags
|
|
created statement with label lemma-derived-complete-finite in more-algebra.tex
|
2013-06-25 |
0e940d0 |
Pick out I-adically complete modules among derived complete ones
Here is one such type of result. We'd like more, especially in the
setting of sheaves
|