Definition 2
Tag 01SV, permanent. Cite it as [Bourbaki, Tag 01SV].
Topologie algébrique, chapter II, § 2. Graphes
A forest is a graph in which every loop without backtracking is a constant loop. A tree is a connected forest.
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.