History of tag 05UR
Go back to the tag's page.
| type |
time |
link |
|
changed the label to lemma-quasi-compact-finite-subcover
|
2013-08-03 |
dba86b5 |
pell check: words starting with n, o, p, q, r, N, O, P, Q, or R
|
|
changed the statement
|
2013-08-03 |
dba86b5 |
pell check: words starting with n, o, p, q, r, N, O, P, Q, or R
|
|
changed the statement and the proof
|
2011-08-13 |
4ea0b65 |
Whitespace changes
|
|
changed the proof
|
2011-08-12 |
dd4090b |
LaTeX: Remove useless brackets
|
|
changed the proof
|
2011-08-11 |
4c15ebf |
LaTeX: \Ob
Introduced a macro
\def\Ob{\mathop{\rm Ob}\nolimits}
and replaced any occurence of \text{Ob}( with \Ob(. There are
still some occurences of \text{Ob} but these are sets, not the
operator that takes the set of objects of a category.
|
|
changed the proof
|
2011-08-11 |
f496b59 |
LaTeX: \Sch
Introduced a new macro
\def\Sch{\textit{Sch}}
and replaced all the occurences of \textit{Sch} with \Sch.
|
|
assigned tag 05UR
|
2011-02-21 |
bb63ebd
|
Tags: added new tags
|
|
created statement with label lemma-quasicompact-finite-subcover in stacks-properties.tex
|
2011-02-18 |
43ae114 |
Lemmas on open substacks
by Jonathan Wang
|