History for tag 09Y3—The Stacks project

History of tag 09Y3

type	time	link
assigned tag 09Y3	2014-01-17	3a13278
Tags: Added new tags
created statement with label lemma-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.