History of tag 0CR1
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0CR1
|
2016-10-04 |
e2bf707
|
Tags: Added new tags
|
|
created statement with label lemma-pushforward-better-coherator in perfect.tex
|
2016-10-03 |
2d94f77 |
Better coherator
This one behaves better but we only show it exists if X is quasi-compact
and quasi-separated. It seems likely that it exists in general... but do
you know a good proof of that?
|