History of tag 0GAC
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0GAC
|
2021-02-01 |
52667c8
|
Tags: added new tags
|
|
changed the label to lemma-factor-hom
|
2021-01-31 |
3913367 |
A bit of uniformity: revision
Although the arguments as given before this commit are correct, they
don't prove the result in the form that we actually use them later in
the chapter on algebraization of rig-smooth algebras. Sigh! We still
have to fix the proof of this algebraization result to account for the
changes we just made, but that should be easy and quick!
|
|
changed the statement and the proof
|
2021-01-31 |
3913367 |
A bit of uniformity: revision
Although the arguments as given before this commit are correct, they
don't prove the result in the form that we actually use them later in
the chapter on algebraization of rig-smooth algebras. Sigh! We still
have to fix the proof of this algebraization result to account for the
changes we just made, but that should be easy and quick!
|
|
created statement with label lemma-bound-hom-for-almost-projective-variant in local-cohomology.tex
|
2021-01-24 |
993b267 |
More cleanup of recent material
This is just horrible of course. It all works fine though.
|