`BookProof.ChapterA3.pauliCoeff_add` (A B : Matrix (Fin 2) (Fin 2) ℂ) (μ : Fin 4) : pauliCoeff (A + B) μ = pauliCoeff A μ + pauliCoeff B μ

Initializing...

`BookProof.ChapterA3.pauliCoeff_add` (A B : Matrix (Fin 2) (Fin 2) ℂ) (μ : Fin 4) : pauliCoeff (A + B) μ = pauliCoeff A μ + pauliCoeff B μ · Prove2Me