History of tag 0FLQ
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2020-12-14 |
5d4f70a |
Better proof of the Kunneth thing
Actually check the argument is compatible with cup product. Horrible of
course because there is absolutely no doubt that even the original
argument has this property; it would just be a matter of time to prove
this but we can do it in this manner so that's fine too.
|
|
changed the statement
|
2020-05-21 |
ef40cd4 |
Final fixes to equiv for now
|
|
changed the proof
|
2019-11-14 |
d07d117 |
Fix error in statement + proof of technical lemma
Thank to Johan de Jong
https://stacks.math.columbia.edu/tag/0FLT#comment-4650
|
|
assigned tag 0FLQ
|
2019-10-06 |
4e7bbd6
|
Tags: added new tags
|
|
created statement with label lemma-kunneth in perfect.tex
|
2019-09-23 |
2bdffb7 |
More general kunneth
The first lemma is a very general result
The second lemma will be used for the de Rham complex soon; its proof
very carefully uses cup product of cocycles to make sure the map is
indeed given by cup product...
|