History for tag 0C22—The Stacks project

History of tag 0C22

type	time	link
assigned tag 0C22	2016-03-04	82fa846
Tags: Added new tags Also fixed one tag pointing to the wrong spot
created statement with label lemma-normal-goes-up-noetherian in algebra.tex	2016-03-03	d556618
Normal and reduced goes up