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

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

Proof P3454 on R5049:

P3454

This result is a particular case of R4914: Derivative for an affine real matrix function. $\square$