History of tag 0BAC
| type | time | link |
|---|---|---|
| changed the statement | 2020-11-13 | 304c2fb |
| assigned tag 0BAC | 2015-05-13 | 4a51989 |
| changed the statement and the proof | 2015-05-13 | 44c9ba3 |
| created statement with label lemma-birational-birational in morphisms.tex | 2015-05-09 | 2e35458 |