History of tag 0F9V
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0F9V
|
2019-05-22 |
4f8db75
|
Tags: Added new tags
|
|
changed the proof
|
2019-05-19 |
0bd04f9 |
Properties of localized chern classes
Although the arguments are straightforward, the language we are using
here isn't convenient and we keep having to add more and more lemmas
earlier (each of which itself has a longish statement) in order to show
the reader to really it is kind of obvious that the thing we want to be
true is actually true... but of course if you chain lots of little
lemmas together then in the end you get something that is hard to
comprehend...
|
|
created statement with label lemma-compare-representatives-perfect in more-algebra.tex
|
2019-05-11 |
a9bae57 |
Another sanity check for localized chern classes
|