History of tag 0BD9
type | time | link |
---|---|---|
changed the proof | 2018-01-29 | 61dce31 |
changed the proof | 2016-08-30 | 5c71a8c |
assigned tag 0BD9 | 2015-05-29 | f4f6b80 |
created statement with label lemma-extend-invertible-module in divisors.tex | 2015-05-29 | f4aa252 |