ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P3366 on R4906:

P3366

This result is a particular case of R4903: Strong derivative for affine basic real function. $\square$