Invariance identity for a cubic trace tensor

ID: invariance-identity-for-a-cubic-trace-tensor

The trace of a commutator gives
In a basis, cyclicity converts this to .
// Target: lie-theory.bigb

New to topics? Read the docs here!