`BookProof.SmGaugeConnection.diracGaugeMat_conjTranspose` {k : Fin 3 → ℝ} {m1 m2 g : ℝ} {T : Fin d → Matrix (Fin N) (Fin N) ℂ} {A : Fin d → Fin 3 → ℝ} (hT : ∀ a, (T a)ᴴ = T a) : (d

Initializing...

`BookProof.SmGaugeConnection.diracGaugeMat_conjTranspose` {k : Fin 3 → ℝ} {m1 m2 g : ℝ} {T : Fin d → Matrix (Fin N) (Fin N) ℂ} {A : Fin d → Fin 3 → ℝ} (hT : ∀ a, (T a)ᴴ = T a) : (d · Prove2Me