Example 1
Tag 083G, permanent. Cite it as [Bourbaki, Tag 083G].
Functions of a Real Variable, chapter I, § 1. FIRST DERIVATIVE
The most important particular case is that where E is one of the fields or : if is a function with real or complex values, differentiable at the point , and such that , then has derivative equal to at .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.