`BookProof.YangMillsAbelianEsa.gramWeyl_eq` {d N : ℕ} (v : Fin N → Fin d → ℝ) (T : Fin d → MvPolynomial (Fin d) ℂ →ₗ[ℂ] MvPolynomial (Fin d) ℂ) (p : MvPolynomial (Fin d) ℂ)...

Initializing...

`BookProof.YangMillsAbelianEsa.gramWeyl_eq` {d N : ℕ} (v : Fin N → Fin d → ℝ) (T : Fin d → MvPolynomial (Fin d) ℂ →ₗ[ℂ] MvPolynomial (Fin d) ℂ) (p : MvPolynomial (Fin d) ℂ)... · Prove2Me