History of tag 0DZH
| 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 0DZH | 2017-06-16 | a3173f8 |
| changed the statement | 2017-06-16 | b55329d |
| created statement with label lemma-lci-unobstructed in examples-defos.tex | 2017-06-14 | 026b0e5 |