`BookProof.SmGaugeConnection.diracGaugeMat_split` (k : Fin 3 → ℝ) (m1 m2 g : ℝ) (T : Fin d → Matrix (Fin N) (Fin N) ℂ) (A : Fin d → Fin 3 → ℝ) : diracGaugeMat k m1 m2 g T A = dirac

Initializing...

`BookProof.SmGaugeConnection.diracGaugeMat_split` (k : Fin 3 → ℝ) (m1 m2 g : ℝ) (T : Fin d → Matrix (Fin N) (Fin N) ℂ) (A : Fin d → Fin 3 → ℝ) : diracGaugeMat k m1 m2 g T A = dirac · Prove2Me