Example 1

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

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

For every $\lambda \in K$ the operator which to every polynomial $f(X)$ associates the polynomial $f(X + \lambda)$ is a composition operator.

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

Cited by

Nothing.