Solution (source code)

= Solution

The Heaviside factor restricts the <integral> to $t\geq\alpha$. With $u=t-\alpha$,
$$
\boxed{\mathcal L\{f(t-\alpha)H(t-\alpha)\}(s)
=\int_\alpha^\infty e^{-st}f(t-\alpha)dt
=e^{-\alpha s}\int_0^\infty e^{-su}f(u)du
=e^{-\alpha s}F(s).}
$$