History of tag 05V1
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2019-03-19 |
19f057f |
A bit more on sites and points
|
|
changed the statement
|
2015-01-06 |
b23f68f |
Slogans by David Corwin
|
|
changed the proof
|
2012-11-07 |
4bae8d3 |
Change definition of connected: require nonempty
Thanks to Burt Totaro
|
|
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 05V1
|
2011-03-03 |
ce23891
|
Tags: Added new tags
|
|
changed the proof
|
2011-03-03 |
48ba47d |
Stop parse.py from complaining too much
|
|
created statement with label lemma-point-morphism-sites in sites.tex
|
2011-03-02 |
0239857 |
Exactness properties p_* where p is a point of a topos
|