History of tag 0FND
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2023-01-18 |
96ec50d |
an -> a
Thanks to Heiko Braun
https://stacks.math.columbia.edu/tag/0FND#comment-7791
|
|
assigned tag 0FND
|
2019-11-14 |
05a8b82
|
Tags: Added new tags
The new lemmas in the chapter on de Rham cohomology have not yet been tagged.
|
|
created statement with label lemma-pre-derived-adjoint-functors-general in derived.tex
|
2019-10-27 |
673ad70 |
Derived pushforward
|