History for tag 0CTL—The Stacks project

History of tag 0CTL

type	time	link
changed the statement and 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 0CTL	2016-10-19	d9096d4
Tags: Added new tags
created statement with label lemma-base-change-tensor-pseudo-coherent in spaces-perfect.tex	2016-10-18	efa67d6
Rf_*K pseudo-coherent if K pseudo-coherent and ...