`BookProof.ChapterPauliFundamental.clifford_key` (hA : IsCliffordC A) (μ : Fin 4) (T : Finset (Fin 4)) : A μ * gpF A T = sgnT μ T • gpF A (stepT μ T)

Initializing...

`BookProof.ChapterPauliFundamental.clifford_key` (hA : IsCliffordC A) (μ : Fin 4) (T : Finset (Fin 4)) : A μ * gpF A T = sgnT μ T • gpF A (stepT μ T) · Prove2Me