History of tag 0E58
| type | time | link |
|---|---|---|
| changed the statement and the proof | 2021-04-01 | bc0b035 |
| assigned tag 0E58 | 2017-07-13 | 58a0749 |
| changed the proof | 2017-07-12 | 76199a9 |
| created statement with label lemma-iso-on-RSheafHom in spaces-duality.tex | 2017-07-12 | 4f7af77 |