Corollary

Tag 08HU, permanent. Cite it as [Bourbaki, Tag 08HU].

Functions of a Real Variable, chapter VI, § 1. GENERALIZED TAYLOR EXPANSIONS

The algebra $\Gamma$ of composition operators in $K[X]$ is commutative.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Nothing.