(e : ℕ → ℝ) (u : FockAlg) (β : Conf) : dGamma (diagCol e) u β = ((confEnergy e β : ℝ) : ℂ) * u β

Initializing...

(e : ℕ → ℝ) (u : FockAlg) (β : Conf) : dGamma (diagCol e) u β = ((confEnergy e β : ℝ) : ℂ) * u β · Prove2Me