`BookProof.ChapterPauliFundamental.cliff_sq` (hA : IsCliffordC A) (μ : Fin 4) : A μ * A μ = (if μ = 0 then (-1 : ℂ) else 1) • (1 : M4)

Initializing...

`BookProof.ChapterPauliFundamental.cliff_sq` (hA : IsCliffordC A) (μ : Fin 4) : A μ * A μ = (if μ = 0 then (-1 : ℂ) else 1) • (1 : M4) · Prove2Me