History of tag 0FL1
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0FL1
|
2019-09-21 |
83a784f
|
Tags: Added new tags
|
|
changed the proof
|
2019-09-18 |
94a18dd |
Finish construction trace map
Also some of its properties are clear as well.
|
|
created statement with label lemma-universal-finite-syntomic-smooth in discriminant.tex
|
2019-09-18 |
b61b0ba |
Towards trace map on de Rham complexes
This is an intermediate commit because there is now a
rather large set of changes already... but it is not quite
done yet.
|