History of tag 05UF
Go back to the tag's page.
type |
time |
link |
changed the proof
|
2016-10-19 |
f23bdaa |
Small improvements to flat
|
changed the proof
|
2013-12-22 |
5b9bcfb |
LaTeX
Introduced a new macro
\def\Coker{\text{Coker}}
and replaced all occurrences of \text{Coker} by \Coker
|
changed the proof
|
2013-08-03 |
16be7e5 |
ll check: words starting with u, v, w, x, y, z, U, V, W, X, Y, or Z
|
changed the statement
|
2013-08-03 |
d111c81 |
Spell check: words starting with d, e, f, g, D, E, F, or G
|
changed the proof
|
2011-08-13 |
4ea0b65 |
Whitespace changes
|
assigned tag 05UF
|
2011-02-16 |
9f82907
|
Corollary added
and tags for the last few lemmas on universal flattenings
|
changed the statement and the proof
|
2011-02-16 |
3c54b12 |
More details
Added some of the last details in the theorem on the existence
of the universal flattening for a pure module of finite
presentation.
|
created statement with label lemma-flat-dimension-n-representable in flat.tex
|
2011-02-15 |
7c66f75 |
Universal flattening for pure finitely presented modules
Modulo the proof of a lemma
|