`BookProof.ChapterA3.pauli_expand` (M : Matrix (Fin 2) (Fin 2) ℂ) : M = ∑ μ, pauliCoeff M μ • pauliσ μ

Initializing...

`BookProof.ChapterA3.pauli_expand` (M : Matrix (Fin 2) (Fin 2) ℂ) : M = ∑ μ, pauliCoeff M μ • pauliσ μ · Prove2Me