History for tag 0H3N—The Stacks project

History of tag 0H3N

type	time	link
assigned tag 0H3N	2023-06-27	74af77a
Tags: Added new tags
changed the statement and the proof	2023-06-14	a3fd10a
Two more lemmas on weakly normal schemes
created statement with label lemma-relative-seminormalization in morphisms.tex	2023-06-13	50133ba
Section on weak normalization Just the bare minimum