`BookProof.YangMillsAbelianNoGap.realCoeff_coordCombo` (i : Fin d) (c : ℕ → ℝ) (p K : ℕ) : RealCoeff (coordCombo i c p K)

Initializing...

`BookProof.YangMillsAbelianNoGap.realCoeff_coordCombo` (i : Fin d) (c : ℕ → ℝ) (p K : ℕ) : RealCoeff (coordCombo i c p K) · Prove2Me