History of tag 0E4U
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0E4U
|
2017-07-13 |
58a0749
|
Tags: Added new tags
|
|
changed 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...
|
|
created statement with label lemma-perfect-proper-perfect-direct-image in spaces-more-morphisms.tex
|
2017-07-11 |
71b785c |
Another lemma for when pusforward is perfect
|