History for tag 0H3K—The Stacks project

History of tag 0H3K

type	time	link
assigned tag 0H3K	2023-06-27	74af77a
Tags: Added new tags
changed the proof	2023-06-14	62d2fe5
Small improvements of stuff on weak normalization
created statement with label lemma-relative-weak-normalization-localization in morphisms.tex	2023-06-13	50133ba
Section on weak normalization Just the bare minimum