History of tag 0E7J
Go back to the tag's page.
type |
time |
link |
changed the proof
|
2018-09-07 |
a3decc4 |
Improve a proof and add a lemma
Tried to improve the proof of a rather nasty lemma (the nastyness coming
mainly from unneccesary level of generality)...
|
changed the proof
|
2018-09-06 |
e8753c5 |
Use lemmas from fbd5243b
Shortens the exposition
|
assigned tag 0E7J
|
2017-07-28 |
aad4937
|
Tags: Added new tags
|
changed the proof
|
2017-07-28 |
96250fb |
Fix internal references
|
changed the statement and the proof
|
2017-07-23 |
bd61b29 |
More very general lemmas on contracting...
Just horrible...
|
created statement with label lemma-h1-fibre-zero-h0-kappa in more-morphisms.tex
|
2017-07-23 |
6f3d563 |
Very general lemmas on contracting rational curves
Too general really!
|