`BookProof.ChapterPauliFundamental.GZ_orthogonal` : ∀ T : Finset (Fin 4), GZ T * (GZ T)ᵀ = 1

Initializing...

`BookProof.ChapterPauliFundamental.GZ_orthogonal` : ∀ T : Finset (Fin 4), GZ T * (GZ T)ᵀ = 1 · Prove2Me