`BookProof.ChapterPauliFundamental.cliff_anticomm` (hA : IsCliffordC A) {μ ν : Fin 4} (h : μ ≠ ν) : A μ * A ν = -(A ν * A μ)

Initializing...

`BookProof.ChapterPauliFundamental.cliff_anticomm` (hA : IsCliffordC A) {μ ν : Fin 4} (h : μ ≠ ν) : A μ * A ν = -(A ν * A μ) · Prove2Me