History of tag 0FYK
Go back to the tag's page.
| type |
time |
link |
|
moved the statement to file obsolete.tex
|
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
|
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
|
2021-04-01 |
dd54d36 |
Fallout from error fixed in 84dc831b
|
|
assigned tag 0FYK
|
2020-05-25 |
d60dd58
|
Tags: Added new tags
|
|
changed the proof
|
2020-05-23 |
350309c |
Weak version of Gabriel's theorem
Also started a section about relative equivalences
|
|
changed the statement and the proof
|
2020-05-09 |
20c6f13 |
Fixing up the new chapter + some extra stuff
|
|
created statement with label lemma-characterize-dbcoh-proper-regular in equiv.tex
|
2020-05-08 |
42aff3f |
More work on new chapter
|