History of tag 0FTL
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0FTL
|
2019-11-14 |
05a8b82
|
Tags: Added new tags
The new lemmas in the chapter on de Rham cohomology have not yet been tagged.
|
|
changed the proof
|
2019-11-08 |
3117ef4 |
Fix some formatting internal references
|
|
changed the proof
|
2019-10-29 |
c98969f |
An equivalence
|
|
changed the statement and the proof
|
2019-10-27 |
673ad70 |
Derived pushforward
|
|
created statement with label lemma-compose-tensor in sdga.tex
|
2019-10-27 |
426b167 |
Derived pullback and tensor product
|