History of tag 0A7F
| type | time | link |
|---|---|---|
| changed the proof | 2015-03-30 | 881f484 |
| assigned tag 0A7F | 2014-05-10 | 9e227cd |
| changed the statement | 2014-05-06 | d0bd81b |
| changed the proof | 2014-05-06 | 0f7f09e |
| created statement with label lemma-dualizing-unique in dualizing.tex | 2014-05-06 | 32cbb11 |