Example 1
Tag 01MV, permanent. Cite it as [Bourbaki, Tag 01MV].
Topologie algébrique, chapter I, § 2. Applications étales
Let B be a topological space and a family of subsets of B. Let E denote the sum space of the family and the mapping deduced from the canonical injections of the into B. In order that the mapping be etale, it is necessary and sufficient that the , all be open.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.