History of tag 0ANK
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2021-02-02 |
19b5155 |
Spell out things a bit more in formal-spaces
Kind of terrible...
|
|
assigned tag 0ANK
|
2014-09-21 |
99bc65e
|
Tags: added new tags
|
|
changed the statement and the proof
|
2014-09-20 |
d1fbb16 |
Improved handling relationship morphisms and ring maps
|
|
changed the label to lemma-representable-local-property
|
2014-09-17 |
78c34f8 |
Spell things out more...
|
|
changed the statement and the proof
|
2014-09-17 |
78c34f8 |
Spell things out more...
|
|
created statement with label example-representable-local-property in formal-spaces.tex
|
2014-09-16 |
a15ec64 |
Continuous ring maps and morphisms of formal algebraic spaces
This is OK and it could be a lot worse...
|