History of tag 05U7
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2014-10-26 |
714e994 |
Add additional conclusion to lemma in flat.tex
|
|
changed the proof
|
2013-08-03 |
dba86b5 |
pell check: words starting with n, o, p, q, r, N, O, P, Q, or R
|
|
changed the proof
|
2011-08-10 |
65ce54f |
LaTeX: \Spec
Introduced the macro
\def\Spec{\mathop{\rm Spec}}
and changed all the occurences of \text{Spec} into \Spec.
|
|
changed the statement
|
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 05U7
|
2011-02-16 |
9f82907
|
Corollary added
and tags for the last few lemmas on universal flattenings
|
|
created statement with label lemma-flat-finite-type-local-colimit-free in flat.tex
|
2011-02-15 |
92938eb |
Improving earlier results
|