===== Matrix eigenvalue =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $A\in\mathrm{SquareMatrix}(n,\mathbb C)$ |
| @#FFBB00: definiendum | @#FFBB00: $\lambda\in\mathrm{EigenVal}(A) $ |
| @#55EE55: postulate   | @#55EE55: $\mathrm{det}(\lambda\cdot I_n-A)=0$ |

-----
==== Parents ====
=== Subset of ===
[[Eigenvalue]]
=== Context ===
[[Leibniz formula for determinants]]