History of tag 0CR0
Go back to the tag's page.
type |
time |
link |
changed the statement
|
2016-12-05 |
d24798d |
Limits and pullbacks
|
assigned tag 0CR0
|
2016-10-04 |
e2bf707
|
Tags: Added new tags
|
changed the proof
|
2016-10-04 |
1a35e2b |
Fix two references
|
created statement with label lemma-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?
|