History of tag 05JR
Go back to the tag's page.
| type |
time |
link |
|
moved the statement to file obsolete.tex
|
2020-09-04 |
411141e |
Move duplicate lemma to obsolete chapter
|
|
changed the proof
|
2020-09-04 |
411141e |
Move duplicate lemma to obsolete chapter
|
|
changed the proof
|
2013-12-22 |
19733a9 |
LaTeX
Added a new macro
\def\Im{\text{Im}}
and replaced all occurrences of \text{Im} by \Im
|
|
changed the proof
|
2011-08-10 |
996a95d |
LaTeX: fix colim
Introduced the macro
\def\colim{\mathop{\rm colim}\nolimits}
and changed all the occurences of \text{colim} into \colim.
|
|
assigned tag 05JR
|
2010-12-09 |
bd43edc
|
Tags: Added new tags
|
|
created statement with label lemma-directed-colimit-finite-type in properties.tex
|
2010-12-08 |
11bcf99 |
Colimits sheaves algebras
on quasi-compact and quasi-separated schemes. Just really
standard...
|