History for tag 0CS5—The Stacks project

History of tag 0CS5

type	time	link
changed the statement	2019-11-09	2b1aa30
More edits to dga
changed the statement	2017-04-11	04fef69
New macro: \Ext
assigned tag 0CS5	2016-10-14	6a14df4
Tags: Added new tags
created statement with label lemma-derived-restriction-exts in dga.tex	2016-10-12	f950904
Upgrade a functor Of course with more theory this would obvious