`BookProof.ChapterPauliFundamental.G_orthogonal` (T : Finset (Fin 4)) : G T * (G T)ᵀ = 1

Initializing...

`BookProof.ChapterPauliFundamental.G_orthogonal` (T : Finset (Fin 4)) : G T * (G T)ᵀ = 1 · Prove2Me