Example 2

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

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

The derivation D on K[X] is a composition operator (cf. prop. 1).

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

Cited by

Nothing.

Nothing.