History for tag 09YJ—The Stacks project

History of tag 09YJ

type	time	link
changed the proof	2014-04-11	e0c8eec
Typos in topology.tex Thanks to Jean-Pierre Gourdot
assigned tag 09YJ	2014-01-19	fd56b4a
Tags: Added new tags
created statement with label lemma-constructible-in-constructible in topology.tex	2014-01-19	a4022d4
Constructible inside constructible... OK, this is just too detailed in a way...