Revision #3362 → #3927 · back to history
modifiedExterior power of a vector spacefa937ea57741
| Field | From #3362 | To #3927 |
|---|
| provenance | ai | ai-moderated |
addedFundamental theorem of algebra (existence of eigenvalues)2c64d24f9ff9
addedEigenvalues are roots of the characteristic polynomial726d45710890
addedMatrix exponentialf6d61730a69e
addedSpecial orthogonal groupe35c3522a9fd
addedSpecial unitary groupde1d34493e5b
addedFirst isomorphism theorem (used for GL/SL ≅ Rˣ)52ded987ccc8
addedDeterminant of a quaternionc4337055c0b3
addedTrace-class operator775a30eb8250