`BookProof.ChapterA3.pauliCoeff_comb` (c : Fin 4 → ℂ) (μ : Fin 4) : pauliCoeff (∑ ν, c ν • pauliσ ν) μ = c μ

Initializing...

`BookProof.ChapterA3.pauliCoeff_comb` (c : Fin 4 → ℂ) (μ : Fin 4) : pauliCoeff (∑ ν, c ν • pauliσ ν) μ = c μ · Prove2Me