`BookProof.YangMillsAbelianNoGap.gaussConst_pos` : (0 : ℝ) < (Real.sqrt (2 * Real.pi)) ^ d

Initializing...

`BookProof.YangMillsAbelianNoGap.gaussConst_pos` : (0 : ℝ) < (Real.sqrt (2 * Real.pi)) ^ d · Prove2Me