History of tag 0FYJ
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
|
|
assigned tag 0FYJ
|
2020-05-25 |
d60dd58
|
Tags: Added new tags
|
|
changed the proof
|
2020-05-24 |
0219f2a |
Small fixes
|
|
changed the proof
|
2020-05-23 |
350309c |
Weak version of Gabriel's theorem
Also started a section about relative equivalences
|
|
changed the statement
|
2020-05-08 |
d6ea3fb |
Add reference
|
|
changed the proof
|
2020-05-08 |
42aff3f |
More work on new chapter
|
|
changed the proof
|
2020-05-06 |
173148f |
Fix complaints by script
Please ignore this commit
|
|
created statement with label lemma-trace-map in equiv.tex
|
2020-05-06 |
98a832f |
New chapter on derived algebraic geometry
Trying to understand some of this stuff in preparation
of a seminar for graduate students
|