`BookProof.ChapterGaugeAdjointAlgebra.covariantDeriv_covariant` (A dX dθ : Fin 3 → L) (X θ : L) (i : Fin 3) : (⁅dX i, θ⁆ + ⁅X, dθ i⁆) + (⁅gaugeVarA A dθ θ i, X⁆ + ⁅A i,...

Initializing...

`BookProof.ChapterGaugeAdjointAlgebra.covariantDeriv_covariant` (A dX dθ : Fin 3 → L) (X θ : L) (i : Fin 3) : (⁅dX i, θ⁆ + ⁅X, dθ i⁆) + (⁅gaugeVarA A dθ θ i, X⁆ + ⁅A i,... · Prove2Me