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

Initializing...

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