History of tag 0G26
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2022-04-21 |
077e6cf |
Improvement derived cats varieties
Thanks to Noah Olander who pointed out this quicker way to get through
some of the lemmas relating to functors where we know what happens with
modules supported on finitely many points.
|
|
assigned tag 0G26
|
2020-06-19 |
c80d749
|
Tags: Added new tags
|
|
created statement with label lemma-noah-pre in equiv.tex
|
2020-06-12 |
920f51c |
Alternative proof of 0G06
Thanks to Noah Olander
This is really a lot better! The material is still a bit rough but I'm
very sure it all works (both versions of the proof).
|