History of tag 0690
| type | time | link |
|---|---|---|
| changed the proof | 2013-12-07 | 7832bef |
| changed the proof | 2013-08-03 | 7f2ba8c |
| assigned tag 0690 | 2011-05-10 | 7f6ac4f |
| created statement with label lemma-extra-permanence-regular-immersion-noetherian in divisors.tex | 2011-05-06 | af119c1 |