`BookProof.ChapterPauliFundamental.G_transpose_mul` (μ : Fin 4) (T : Finset (Fin 4)) : (G T)ᵀ * mgamma μ = sgnT μ (stepT μ T) • (G (stepT μ T))ᵀ

Initializing...

`BookProof.ChapterPauliFundamental.G_transpose_mul` (μ : Fin 4) (T : Finset (Fin 4)) : (G T)ᵀ * mgamma μ = sgnT μ (stepT μ T) • (G (stepT μ T))ᵀ · Prove2Me