History of tag 0BYY
| type | time | link |
|---|---|---|
| moved the statement to file obsolete.tex | 2019-11-10 | 9acf7d2 |
| changed the proof | 2019-11-10 | 9acf7d2 |
| changed the statement and the proof | 2019-11-09 | 2b1aa30 |
| assigned tag 0BYY | 2016-02-17 | b6a853e |
| created statement with label lemma-P-not-preserved-base-change in dga.tex | 2016-02-13 | f84be2c |