Corollary
Tag 08BF, permanent. Cite it as [Bourbaki, Tag 08BF].
Functions of a Real Variable, chapter IV, § 1. EXISTENCE THEOREMS
At every point of I distinct from the left (resp. right) endpoint of this interval, every solution u of (1) on I admits a left (resp. right) derivative equal to the left (right) limit of at this point.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.