History of tag 0ANB
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2022-04-11 |
9be8653 |
Update formal-spaces to match new definitions
|
|
changed the proof
|
2015-08-05 |
786d6ff |
Split section on completion into two
One for general rings and one for Noetherian rings
Also upgraded lemmas
-- lemma-hathat-finitely-generated
-- lemma-completion-Noetherian
in order to simplify references later...
|
|
assigned tag 0ANB
|
2014-09-21 |
99bc65e
|
Tags: added new tags
|
|
created statement with label lemma-completion-in-sub 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...
|