===== Det exp formula =====
==== Theorem ====
| $ A\in\mathrm{Matrix}(n,\mathbb C) $ |

| @#55EE55: postulate   | @#55EE55: $\mathrm{det}\left(\mathrm{exp}(A)\right)=\mathrm{e}^{\mathrm{tr}\ A}$ |

==== Discussion ====
This is a corollary of Jacobi's formula.
=== Reference ===
Wikipedia: [[http://en.wikipedia.org/wiki/Jacobi%27s_formula|Jacobi's formula]]
==== Parents ====
=== Context ===
[[Determinant via multilinear functionals]], [[Exponential function]]