History of tag 05UA
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
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.
|
|
changed the statement
|
2014-09-06 |
b5961ce |
Mostly invisible changes
Get rid of some superfluous commands in the text
|
|
changed the proof
|
2012-05-10 |
3f35f36 |
zerodivisor and nonzerodivisor
Seems better this way.
|
|
changed the proof
|
2011-08-10 |
65ce54f |
LaTeX: \Spec
Introduced the macro
\def\Spec{\mathop{\rm Spec}}
and changed all the occurences of \text{Spec} into \Spec.
|
|
assigned tag 05UA
|
2011-02-16 |
9f82907
|
Corollary added
and tags for the last few lemmas on universal flattenings
|
|
changed the statement
|
2011-02-15 |
7c66f75 |
Universal flattening for pure finitely presented modules
Modulo the proof of a lemma
|
|
created statement with label theorem-check-flatness-at-associated-points in flat.tex
|
2011-02-15 |
92938eb |
Improving earlier results
|