`BookProof.YangMillsAbelianNoGap.gaussInt_one_eq` : gaussInt (1 : MvPolynomial (Fin d) ℂ) = (((Real.sqrt (2 * Real.pi)) ^ d : ℝ) : ℂ)

Initializing...

`BookProof.YangMillsAbelianNoGap.gaussInt_one_eq` : gaussInt (1 : MvPolynomial (Fin d) ℂ) = (((Real.sqrt (2 * Real.pi)) ^ d : ℝ) : ℂ) · Prove2Me