History of tag 0ADD
Go back to the tag's page.
type |
time |
link |
changed the statement
|
2014-07-22 |
1d5ef11 |
Added a few slogans
|
assigned tag 0ADD
|
2014-06-05 |
db48fc0
|
Tags: Added new tags
|
assigned tag 0ADD
|
2014-06-05 |
07b83c2
|
Revert "Tags: Added new tags"
This reverts commit 515802d4c5e34f6abc8561c7075500b916a686a4.
Reason: We should never add tags to a development branch!
|
assigned tag 0ADD
|
2014-06-05 |
515802d
|
Tags: Added new tags
|
created statement with label lemma-codim-1-point-in-schematic-locus in spaces-over-fields.tex
|
2014-06-01 |
9006bdf |
Separated space = scheme in codimension 1
The argument in Remark \ref{remark-alternate-proof-scheme-codim-1} was
found in a discussion with Angelo Vistoli as mentioned in commit
79de6992f3e30d8b40c81e6f90e2ec1e97d8003c
|