`BookProof.ChapterPauliFundamental.G_inv` (T : Finset (Fin 4)) : (G T)⁻¹ = (G T)ᵀ · Prove2Me

P

Initializing...

`BookProof.ChapterPauliFundamental.G_inv` (T : Finset (Fin 4)) : (G T)⁻¹ = (G T)ᵀ · Prove2Me