`BookProof.YangMillsAbelianNoGap.realCoeff_hermiteFactor` (i : Fin d) (n : ℕ) : RealCoeff (hermiteFactor i n)

Initializing...

`BookProof.YangMillsAbelianNoGap.realCoeff_hermiteFactor` (i : Fin d) (n : ℕ) : RealCoeff (hermiteFactor i n) · Prove2Me