History of tag 0CTM
Go back to the tag's page.
type |
time |
link |
changed the statement
|
2019-09-02 |
175ff4f |
Need not be flat
Thanks to Remy
https://stacks.math.columbia.edu/tag/0B91#comment-4352
|
changed the proof
|
2017-04-02 |
afab7a9 |
Finish upgrade spaces-perfect
Renamed a section to "Projection formula for Ext" since this is more or
less what it is...
|
assigned tag 0CTM
|
2016-10-19 |
d9096d4
|
Tags: Added new tags
|
created statement with label lemma-flat-proper-perfect-direct-image-general in spaces-perfect.tex
|
2016-10-18 |
efa67d6 |
Rf_*K pseudo-coherent if K pseudo-coherent and ...
|