`BookProof.SmGaugeConnection.covD_commutator` {k : Fin 3 → ℝ} {g : ℝ} {T : Fin d → Matrix (Fin N) (Fin N) ℂ} {f : Fin d → Fin d → Fin d → ℝ} (hf : ClosesWithStructureConstants T f)

Initializing...

`BookProof.SmGaugeConnection.covD_commutator` {k : Fin 3 → ℝ} {g : ℝ} {T : Fin d → Matrix (Fin N) (Fin N) ℂ} {f : Fin d → Fin d → Fin d → ℝ} (hf : ClosesWithStructureConstants T f) · Prove2Me