History for tag 0H1I—The Stacks project

History of tag 0H1I

type	time	link
assigned tag 0H1I	2022-08-15	29092b8
Tags: Added new tags
changed the statement and the proof	2022-07-19	da13105
Mostly invisible changes
created statement with label lemma-base-change-formal-smoothness in stacks-more-morphisms.tex	2022-07-19	81b6104
Categories of dotted arrows Thanks to Ryan Chen who found the mistake in Lemma 0CLF and wrote this material to fix it.