Solution (source code)

= Solution

For a compactly supported test <function> $f$,
$$
\langle H',f\rangle=-\langle H,f'\rangle
=-\int_0^\infty f'(t)dt=f(0)
=\langle\delta,f\rangle.
$$
\b[Thus this is the <distributional derivative of the Heaviside step function>: $H'=\delta$.]