History of tag 0593
| type | time | link |
|---|---|---|
| changed the statement | 2014-09-21 | e57f2a5 |
| changed the proof | 2011-08-13 | 4ea0b65 |
| assigned tag 0593 | 2010-09-25 | 4c85c16 |
| created statement with label theorem-projective-free-over-local-ring in algebra.tex | 2010-09-25 | 7f46935 |