`BookProof.ChapterA3.sigmaZ_mul_transpose` : SigmaZ * SigmaZᵀ = (2 : ℤ) • (1 : Matrix (Fin 4) (Fin 4) ℤ)

Initializing...

`BookProof.ChapterA3.sigmaZ_mul_transpose` : SigmaZ * SigmaZᵀ = (2 : ℤ) • (1 : Matrix (Fin 4) (Fin 4) ℤ) · Prove2Me