Example 2

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

Functions of a Real Variable, chapter I, § 1. FIRST DERIVATIVE

An affine linear function $x \mapsto ax + b$ has derivative equal to $a$ at every point.

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

Cited by

Nothing.

Nothing.