`BookProof.YangMillsAbelianNoGap.idxA_lt` (j : Fin 3) (a : Fin 8) : ((idxA j a : Fin 99) : ℕ) < 27

Initializing...

`BookProof.YangMillsAbelianNoGap.idxA_lt` (j : Fin 3) (a : Fin 8) : ((idxA j a : Fin 99) : ℕ) < 27 · Prove2Me