Self Adjoint ext complex
PauliMatrix.selfAdjoint_ext_complex
Mathematical statement
Two 2×2 self-adjoint matrices are equal if the (complex) traces of each matrix multiplied by each of the Pauli-matrices are equal.
Source project: Physlib
Person-level attribution pending.