`BookProof.ChapterGaugeAdjointAlgebra.magnetic_covariant` (A dθ : Fin 3 → L) (dA : Fin 3 → Fin 3 → L) (ddθ : Fin 3 → Fin 3 → L) (θ : L) (i j : Fin 3) (hsym : ddθ i j = ddθ j i) : (

Initializing...

`BookProof.ChapterGaugeAdjointAlgebra.magnetic_covariant` (A dθ : Fin 3 → L) (dA : Fin 3 → Fin 3 → L) (ddθ : Fin 3 → Fin 3 → L) (θ : L) (i j : Fin 3) (hsym : ddθ i j = ddθ j i) : ( · Prove2Me