History of tag 080P
| type | time | link |
|---|---|---|
| changed the proof | 2018-11-04 | 9929d2a |
| changed the statement | 2014-07-22 | 1d5ef11 |
| changed the proof | 2012-07-29 | b844dc2 |
| assigned tag 080P | 2012-07-19 | 764591f |
| created statement with label lemma-separate-disjoint-opens-by-blowing-up in divisors.tex | 2012-07-18 | 1dc5634 |