Leibniz integral rule (source code)

= Leibniz integral rule
{wiki=Leibniz_integral_rule}