History of tag 0DM0
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0DM0
|
2017-04-13 |
4f370bf
|
Tags: added new tags
|
|
changed the statement and the proof
|
2017-04-11 |
b742920 |
Introduce macros for moduli stacks/spaces
Not sure this is a good idea but at least for the
different versions of Pic it was necessary to more
clearly distinguish especially in statements of
lemmas (bc of the italics that is used there by
LaTeX).
|
|
created statement with label lemma-coherent-existence-part in moduli.tex
|
2017-04-10 |
a475a3a |
Properties of Hom, Isom, Coh
|