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 |