`BookProof.YangMillsAbelianNoGap.abs_levi_le_one` (i j k : Fin 3) : |levi i j k| ≤ 1 · Prove2Me

P

Initializing...

`BookProof.YangMillsAbelianNoGap.abs_levi_le_one` (i j k : Fin 3) : |levi i j k| ≤ 1 · Prove2Me