`BookProof.ChapterA3.mgamma_clifford` (μ ν : Fin 4) : mgamma μ * mgamma ν + mgamma ν * mgamma μ = (-2 * minkowski μ ν) • (1 : Matrix (Fin 4) (Fin 4) ℂ)

Initializing...

`BookProof.ChapterA3.mgamma_clifford` (μ ν : Fin 4) : mgamma μ * mgamma ν + mgamma ν * mgamma μ = (-2 * minkowski μ ν) • (1 : Matrix (Fin 4) (Fin 4) ℂ) · Prove2Me