`BookProof.ChapterA3.pauliCoeff_null` (μ : Fin 4) : pauliCoeff (pauliσ 0 + pauliσ 3) μ = (if μ = 0 then 1 else 0) + (if μ = 3 then 1 else 0)

Initializing...

`BookProof.ChapterA3.pauliCoeff_null` (μ : Fin 4) : pauliCoeff (pauliσ 0 + pauliσ 3) μ = (if μ = 0 then 1 else 0) + (if μ = 3 then 1 else 0) · Prove2Me