# Corollary of Leibniz rule for Lie bracket

From Diffgeom

## Statement

This is an identity that uses the Leibniz rule to measure the failure of the Lie bracket operation from being -linear.

Let be smooth vector fields on a differential manifold and be in . We then have: