History of tag 0A72
| type | time | link |
|---|---|---|
| changed the proof | 2017-04-11 | 04fef69 |
| assigned tag 0A72 | 2014-05-10 | 9e227cd |
| changed the statement and the proof | 2014-05-07 | afff03e |
| created statement with label lemma-exact-support-coherent in dualizing.tex | 2014-05-06 | d0bd81b |