History of tag 0GPJ
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0GPJ
|
2022-01-11 |
6f3b836
|
Tags: Added new tags
|
|
changed the label to proposition-gabriel-rosenberg
|
2021-12-22 |
c27a626 |
Rosenburg ---> Rosenberg
Thanks to Pieter Belmans
|
|
changed the statement
|
2021-12-22 |
c27a626 |
Rosenburg ---> Rosenberg
Thanks to Pieter Belmans
|
|
created statement with label proposition-gabriel-rosenburg in functors.tex
|
2021-12-21 |
9a692db |
Gabriel-Rosenburg reconstruction
Thanks to Noah Olander for figuring out this proof whilst having tea!
The proof is given in the qcqs case.
Please email me if you do not like the nomenclature of saying
Gabriel-Rosenburg reconstruction!
|