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

Initializing...

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