Commutator product rule (source code)

= Commutator product rule

For <linear operators> on a common invariant domain, $[A,BC]=[A,B]C+B[A,C]$. The identity follows by adding and subtracting $BAC$ in the <commutator>.