History of tag 003F
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2012-12-11 |
edeb22b |
Get rid of xymatrixcolumnsep
Reason: XyJax cannot handle these.
|
|
changed the statement
|
2011-08-12 |
dd4090b |
LaTeX: Remove useless brackets
|
|
changed the statement
|
2009-07-22 |
020e851 |
Cleaned up some of the notation on fibred categories
modified: categories.tex
modified: scripts/parse.py
modified: spaces.tex
modified: tags/tags
|
|
assigned tag 003F
|
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 statement and the proof
|
2009-04-10 |
713944e |
More neurotic changes
|
|
created statement with label lemma-properties-2-cat-cats in categories.tex
|
2008-05-21 |
e77d531 |
aaa
|