History of tag 0DYS
| type | time | link |
|---|---|---|
| changed the statement and the proof | 2017-06-19 | 82dbd07 |
| changed the statement and the proof | 2017-06-18 | 2011f16 |
| assigned tag 0DYS | 2017-06-16 | a3173f8 |
| created statement with label lemma-localization in examples-defos.tex | 2017-06-16 | 410d701 |