`BookProof.BookBrstYangMills.vecComb_sum` {n : ℕ} (κ : Fin n → ℝ) (α : Fin n → ℝ) (β : Fin n → Fin N → ℝ) (μ : Fin 4) : (∑ h, ((κ h : ℝ) : ℂ) • vecComb (α h) (β h)...

Initializing...

`BookProof.BookBrstYangMills.vecComb_sum` {n : ℕ} (κ : Fin n → ℝ) (α : Fin n → ℝ) (β : Fin n → Fin N → ℝ) (μ : Fin 4) : (∑ h, ((κ h : ℝ) : ℂ) • vecComb (α h) (β h)... · Prove2Me