History of tag 0DIW
type | time | link |
---|---|---|
changed the statement | 2017-04-11 | 04fef69 |
assigned tag 0DIW | 2017-03-22 | ec8cb2f |
changed the statement | 2017-03-22 | b9bb802 |
changed the proof | 2017-03-20 | a0c96c7 |
created statement with label lemma-canonical-class-obstruction in defos.tex | 2017-03-19 | f88e1b4 |