History of tag 0B1J
Go back to the tag's page.
type |
time |
link |
changed the statement and the proof
|
2024-05-22 |
d7791be |
Important word change
Thanks to tbpi
https://stacks.math.columbia.edu/tag/0B1J#comment-8775
|
changed the proof
|
2018-01-29 |
61dce31 |
Fix a couple of double word mistakes
|
changed the statement
|
2015-03-27 |
bf36b59 |
Improvements to intersection.tex
Thanks to Dmitry Korb for help simplifying the proof of 0B0W
Thanks to Ashwin Deopurkar finding a mistake in the proof of 0B1V
Other changes: work in a bit greater generality, especially in the
earlier lemmas. This is useful, because it allows us to work locally on
X in order to prove equalities of cycles.
Also added: a remark on how to reformulate the moving lemma in order to
make the proof of existence of the intersection product work for
nonsingular quasi-projective varieties (nor just projective ones).
|
changed the proof
|
2015-02-17 |
e74812e |
Get rid of two FIXME's in intersection.tex
|
assigned tag 0B1J
|
2015-02-14 |
73140a0
|
Tags: Added new tags
|
created statement with label lemma-transversal-subschemes in intersection.tex
|
2015-02-11 |
dd12e04 |
Proof of the moving lemma
Fun! Still a bit rough and many references need to be added.
|