`BookProof.SmGaugeConnection.conn_commutator` {g : ℝ} {T : Fin d → Matrix (Fin N) (Fin N) ℂ} {f : Fin d → Fin d → Fin d → ℝ} (hf : ClosesWithStructureConstants T f) (A : Fin d → Fi

Initializing...

`BookProof.SmGaugeConnection.conn_commutator` {g : ℝ} {T : Fin d → Matrix (Fin N) (Fin N) ℂ} {f : Fin d → Fin d → Fin d → ℝ} (hf : ClosesWithStructureConstants T f) (A : Fin d → Fi · Prove2Me