History of tag 07VI
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2019-11-06 |
9ea8fb6 |
Three small things in more-algebra
|
|
changed the statement and the proof
|
2019-11-04 |
3a64997 |
Sign rules
Sigh!
|
|
changed the statement
|
2017-06-23 |
c7e0208 |
More consistent notation for RHom_A(-, -)
Of course in the end it is hopeless to have good notation...
|
|
changed the statement
|
2017-04-11 |
04fef69 |
New macro: \Ext
|
|
changed the statement and the proof
|
2015-07-08 |
5df1243 |
Changes regarding the dual perfect complex
We should always use \vee and not \wedge for this otherwise it might
conflict with the derived completion
|
|
changed the proof
|
2013-06-04 |
f495997 |
\text{Mor} ---> \Mor
|
|
assigned tag 07VI
|
2012-07-03 |
3fe4cf9
|
Tags: Added new tags
|
|
created statement with label lemma-dual-perfect-complex in more-algebra.tex
|
2012-07-03 |
1e43491 |
Application to openness of versality
Exactly as predicted.
|