History of tag 0AAT
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2021-07-27 |
465d71d |
distinguishing transfinite induction and recursion
|
|
created statement with label lemma-ML-over-ordinals in homology.tex
|
2014-05-27 |
1bcd277 |
Fix idiotic mistake in the proof of Lemma 19.12.3
Thanks to Michel van den Bergh who pointed out that if the original
proof was OK then every module has projective dimension at most 1.
|
|
assigned tag 0AAT
|
2014-05-27 |
1bcd277
|
Fix idiotic mistake in the proof of Lemma 19.12.3
Thanks to Michel van den Bergh who pointed out that if the original
proof was OK then every module has projective dimension at most 1.
|