Proposition 2
Tag 08HX, permanent. Cite it as [Bourbaki, Tag 08HX].
Functions of a Real Variable, chapter VI, § 1. GENERALIZED TAYLOR EXPANSIONS
Every composition operator of order 0 is invertible in the algebra of composition operators on .
Indeed, a formal series such that is invertible in the ring (Alg., IV. 41); the proposition thus follows from th. 1 of VI, p. 271.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.