Definition 3
Tag 082Y, permanent. Cite it as [Bourbaki, Tag 082Y].
Functions of a Real Variable, chapter I, § 1. FIRST DERIVATIVE
We say that a vector function defined on an interval is differentiable (resp. right differentiable, left differentiable) on if it is differentiable (resp. right differentiable, left differentiable) at each point of ; the function (resp. , ) defined on , is called the derived function, or (by abuse of language) the derivative (resp. right derivative, left derivative) of , and is denoted by or or (resp. ).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.