Example 1
Tag 0835, permanent. Cite it as [Bourbaki, Tag 0835].
Functions of a Real Variable, chapter I, § 1. FIRST DERIVATIVE
Let be a function with values in , defined on an interval ; each real function is none other than the composite function , so is differentiable at the point if is, and, if so, .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.