History of tag 0AVP
| type | time | link |
|---|---|---|
| changed the statement | 2015-02-21 | b75b395 |
| assigned tag 0AVP | 2015-01-06 | 6944879 |
| changed the label to lemma-check-injective-on-weakass | 2014-12-22 | 0b6ec32 |
| changed the statement | 2014-12-22 | 0b6ec32 |
| created statement with label lemma-inj-depth-1 in divisors.tex | 2014-12-20 | 72cb9c9 |