History of tag 0F1M
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2020-12-12 |
94d9102 |
Actually use the new lemmas correctly
|
|
changed the proof
|
2020-12-12 |
a539b36 |
Pullback of K-flat with flat terms are K-flat
Of course there are still some things we do not have of this nature: for
example the pullback of a universally injective map of modules should be
universally injective... not sure if this follows from what we already
have at the moment...
|
|
assigned tag 0F1M
|
2018-11-06 |
6799d95
|
Tags: Added new tags
|
|
created statement with label lemma-bounded-below-tor-amplitude in sites-cohomology.tex
|
2018-11-06 |
2c8b56e |
Kunneth for etale cohomology
This is obviously insane, but somehow I started writing it this way and
I couldn't get myself to stop. If you have a better way of writing the
proofs in this section, by all means send me suggestions.
|