History of tag 058Y
| type | time | link |
|---|---|---|
| changed the statement | 2015-03-12 | 5d9ef91 |
| changed the statement and the proof | 2011-08-13 | 4ea0b65 |
| assigned tag 058Y | 2010-09-25 | 4c85c16 |
| created statement with label theorem-projective-direct-sum in algebra.tex | 2010-09-25 | 7f46935 |