Remark 1
Tag 082Q, permanent. Cite it as [Bourbaki, Tag 082Q].
Functions of a Real Variable, chapter I, § 1. FIRST DERIVATIVE
In Kinematics, if the point is the position of a moving point in the space at time , then is termed the average velocity between the instants and , and its limit is the instantaneous velocity (or simply velocity) at the time (when this limit exists).*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.