`BookProof.ChapterA3.sigmaC_mul_transpose` : SigmaC * SigmaCᵀ = (2 : ℂ) • (1 : Matrix (Fin 4) (Fin 4) ℂ)

Initializing...

`BookProof.ChapterA3.sigmaC_mul_transpose` : SigmaC * SigmaCᵀ = (2 : ℂ) • (1 : Matrix (Fin 4) (Fin 4) ℂ) · Prove2Me