The power-series exponential is the fundamental solution of x prime equals A x. I will separate the object being defined from the consequence being claimed.
Objects and notation
Tensor and exterior powers turn multilinear behavior into linear maps. For finite-dimensional \(V\), the spaces \(V^{\otimes k}\) and \(\bigwedge^kV\) carry induced actions of every \(T\in\operatorname{End}(V)\).
The definition determines which expressions are legal; only then does the identity become meaningful. An equality in \(\mathcal A\) may change ambient meaning, so I keep \(\mathsf D\) separate from \(\mathsf C\).
Push the symbols
An explicit case prevents the notation from becoming ceremonial. Every subscript and superscript in the display contributes to the value.
Structural reading
The compact alignment is a local map of the argument: assumptions on the first row, consequence on the second. Any generalisation must preserve that dependency.
A hypothesis worth keeping
Tensor coordinates depend on a basis even when the tensor does not. Index notation is safe only when contraction rules and variance are clear.
The result is compact enough to reuse without pretending that the caveat has disappeared. The worked line remains the quickest consistency check.