`BookProof.ChapterElectroweakFieldStrength.eps_swap` (a b c : Fin 3) : eps a b c = -eps b a c

Initializing...

`BookProof.ChapterElectroweakFieldStrength.eps_swap` (a b c : Fin 3) : eps a b c = -eps b a c · Prove2Me