Example

Tag 089U, permanent. Cite it as [Bourbaki, Tag 089U].

Functions of a Real Variable, chapter III, § 1. DERIVATIVES OF THE EXPONENTIAL AND CIRCULAR FUNCTIONS

If $u$ is a function $\neq 0$ on an interval $I$ , and $v$ is any real function, then $\log(|u|^v) = v \cdot \log |u|$ , so if $u$ and $v$ are differentiable

\frac{1}{|u|^v} D(|u|^v) = v' \log |u| + v \frac{u'}{u}.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.