History of tag 0084
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0084
|
2009-05-16 |
fad2e12
|
Started tags infrastructure
new file: scripts/add_tags.py
modified: scripts/functions.py
new file: tags/initial_tags
new file: tags/tags
|
|
changed the proof
|
2008-10-10 |
e0c1824 |
More functoriality...
|
|
changed the proof
|
2008-10-09 |
d5a31dc |
More or less done fixing the stuff on algebraic structures
|
|
created statement with label lemma-diagram-fibre-product in sheaves.tex
|
2008-10-08 |
0851999 |
More on sheaves
|