History of tag 0FHP
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2024-06-17 |
0930990 |
fix small typos
|
|
assigned tag 0FHP
|
2019-08-28 |
c905dd0
|
Tags: added new tags
|
|
changed the statement
|
2019-08-19 |
d88fc6f |
Try to improve notation
|
|
changed the statement and the proof
|
2019-06-14 |
c0f582b |
Introducing motives
It turns out to focus the discussion of Weil cohomology theories
suitably. Fun!
|
|
created statement with label lemma-trace-disjoint-union in weil.tex
|
2019-06-07 |
1eb5372 |
One possible setup for Weil coh theories
Unfortunately, even though we have already too many axioms, it is still
rather hard to get anywhere...
|