History of tag 0AT3
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0AT3
|
2014-11-04 |
76fb98d
|
Tags: Added new tags
|
|
created statement with label lemma-henselian-finite-type-injective-into-flat-mod-m in flat.tex
|
2014-10-23 |
e27b49b |
Split out the steps in Lemma Tag 05U9
This produces a bunch of cases where we know the lemma is true,
including the one case which is actually used later.
|