History for tag 05UI—The Stacks project

History of tag 05UI

type	time	link
changed the proof	2013-08-03	d111c81
Spell check: words starting with d, e, f, g, D, E, F, or G
assigned tag 05UI	2011-02-21	bb63ebd
Tags: added new tags
created statement with label lemma-2-fibre-product-gives-stack-in-setoids in stacks.tex	2011-02-18	43ae114
Lemmas on open substacks by Jonathan Wang