History of tag 0FT0
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2022-01-08 |
aed9225 |
Unify use of \text{Mod} and \textit{Mod}
|
|
changed the proof
|
2021-07-27 |
465d71d |
distinguishing transfinite induction and recursion
|
|
assigned tag 0FT0
|
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 theorem-qis-into-dg-injective in sdga.tex
|
2019-10-26 |
cb4180a |
Existence of K-injectives
Thanks to Noah Olander for a discussion
|