`BookProof.ChapterA3.det_pauli_comb` (x : Fin 4 → ℂ) : (∑ μ, x μ • pauliσ μ).det = Qc x

Initializing...

`BookProof.ChapterA3.det_pauli_comb` (x : Fin 4 → ℂ) : (∑ μ, x μ • pauliσ μ).det = Qc x · Prove2Me