History of tag 0BXW
type | time | link |
---|---|---|
changed the proof | 2016-11-03 | ce410ad |
assigned tag 0BXW | 2016-02-09 | 1533f4c |
changed the proof | 2016-02-08 | 227b954 |
created statement with label lemma-reduced-dim-1-projective-completion in varieties.tex | 2016-02-07 | e4063b5 |