Scholium
Tag 08HW, permanent. Cite it as [Bourbaki, Tag 08HW].
Functions of a Real Variable, chapter VI, § 1. GENERALIZED TAYLOR EXPANSIONS
The isomorphism of the algebra of formal series and the algebra of composition operators on sometimes allows one to prove propositions on formal series most simply, by proving them for the corresponding composition operators (cf. VI, p. 274, prop. 6).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.