History of tag 0FYD
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2023-05-13 |
d5837af |
Upgrade a Theorem and remove obsoleted section
We could have done this in 2021 when we added
Lemma lemma-characterize-relatively-perfect in more-morphisms
|
|
changed the proof
|
2020-06-26 |
92c763d |
Minor clarification in 0FYD
|
|
assigned tag 0FYD
|
2020-05-25 |
d60dd58
|
Tags: Added new tags
|
|
changed the statement
|
2020-05-21 |
46548b9 |
Fix complaints of scripts
|
|
created statement with label lemma-characterize-dbcoh-projective in equiv.tex
|
2020-05-08 |
42aff3f |
More work on new chapter
|