History for tag 0DP0—The Stacks project

History of tag 0DP0

type	time	link
assigned tag 0DP0	2017-04-24	d59dda8
Tags: Added new tags
created statement with label lemma-smooth-formally-smooth in stacks-more-morphisms.tex	2017-04-23	f27c1c0
Formal smoothness vs smoothness for stacks Only fs => s for the moment...