History of tag 0AT0
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0AT0
|
2014-11-04 |
76fb98d
|
Tags: Added new tags
|
|
created statement with label situation-mod-injective 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.
|