History of tag 0BXB
| type | time | link |
|---|---|---|
| assigned tag 0BXB | 2016-02-09 | 1533f4c |
| moved the statement to file morphisms.tex | 2016-02-08 | 227b954 |
| changed the proof | 2016-02-08 | 227b954 |
| created statement with label lemma-relative-normalization-normal-codim-1 in varieties.tex | 2016-02-07 | 44d8516 |