History of tag 0CDF
| type | time | link |
|---|---|---|
| assigned tag 0CDF | 2016-05-26 | e8e94b1 |
| changed the proof | 2016-05-26 | 3e980a8 |
| changed the statement and the proof | 2016-05-13 | e9c39b5 |
| created statement with label lemma-blowdown-at-worst-nodal in models.tex | 2016-05-12 | 1d56603 |