`BookProof.FreeEMField.emFieldStrength_antisymm` (δ : Fin 3 → R → R) (A : Fin 3 → R) (j k : Fin 3) : emFieldStrength δ A j k =

Initializing...

`BookProof.FreeEMField.emFieldStrength_antisymm` (δ : Fin 3 → R → R) (A : Fin 3 → R) (j k : Fin 3) : emFieldStrength δ A j k = - emFieldStrength δ A k j · Prove2Me