History of tag 05A3
| type | time | link |
|---|---|---|
| changed the statement and the proof | 2011-08-13 | 4ea0b65 |
| changed the statement | 2011-08-13 | a2054b4 |
| assigned tag 05A3 | 2010-09-25 | 4c85c16 |
| changed the statement | 2010-09-25 | d9c4eee |
| created statement with label lemma-ascend-properties-modules in algebra.tex | 2010-09-25 | 7f46935 |