History of tag 0D3X
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
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).
|
|
assigned tag 0D3X
|
2016-12-10 |
e74f615
|
Tags: Added new tags
|
|
changed the proof
|
2016-12-10 |
91d24cc |
Fix references
|
|
created statement with label lemma-spaces-defo-thy in quot.tex
|
2016-12-05 |
5249bc2 |
Openness of versality: Spaces'_{fp, flat, proper}
FUN! Slogan: Never check a diagram commutes ever again!
|