Corollary 1
Tag 087B, permanent. Cite it as [Bourbaki, Tag 087B].
Functions of a Real Variable, chapter II, § 1. PRIMITIVES AND INTEGRALS
Let f be a regulated function on I; at every point of I, apart from the right-hand endpoint (resp. the left-hand endpoint) of I, every primitive of f has a right derivative equal to f(x+) (resp. a left derivative equal to f(x-)); in particular, at every point x where f is continuous, f(x) is the derivative of one of its primitives.
This is an immediate consequence of th. 3 of II, p. 54 and of prop. 6 of I, p. 18.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.