History for tag 09Y5—The Stacks project

History of tag 09Y5

type	time	link
assigned tag 09Y5	2014-01-17	3a13278
Tags: Added new tags
created statement with label lemma-noetherian-partition-refined-by-stratification in topology.tex	2014-01-17	967f35d
General discussion of partitions and stratifications OK, hopefully this is now more or less the correct standard definition.