History for tag 0H1K—The Stacks project

History of tag 0H1K

type	time	link
assigned tag 0H1K	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-formal-smoothness-representable 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.