In considering the derivative of an integral given by
Since
and so
This rule can also be generalized to apply to stochastic differentials, with little modification.
As an application of the rule, if for fixed maturity
the forward rate satisfies
Then the short rate
dynamics can be established as
Using the Leibniz-Ito rule,