History of tag 0AGW
Go back to the tag's page.
| type |
time |
link |
|
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 0AGW
|
2014-07-09 |
e7e0f18
|
Tags: Added new tags
|
|
created statement with label lemma-flat-after-completion in more-algebra.tex
|
2014-07-02 |
ae62df6 |
Preparation for approximation for henselian pairs
|