The range of today's antiderivative transformation T
is the set of all f from [0,1] to R that have continuous
derivatives and (here's the correction) satisfy f(0)=0.

The additional restriction arises from the definition
of Tf(x) as an integral from 0 to x. Any integral
from 0 to 0 will be 0, so Tf(0)=0.

