History of tag 0E56
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0E56
|
2017-07-13 |
58a0749
|
Tags: Added new tags
|
|
changed the statement and the proof
|
2017-07-12 |
98e5522 |
Properties rel dualizing complex proper flat case
You can just prove this ab ovo and you don't ever need to look locally
upstairs... Should have realized this ages ago...
|
|
changed the proof
|
2017-07-11 |
9ac50f1 |
Typo in inequality
|
|
created statement with label lemma-twisted-inverse-image-bounded-below in spaces-duality.tex
|
2017-07-11 |
82de4d3 |
Right adjoint of pushforward (spaces)
Only some formal properties
|