ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P3170 on R3757: Linearity of basic real matrix trace

P3170

This result is a particular case of R4638: Complex-linearity of complex matrix trace. $\square$