`BookProof.FockCubicUnbounded.quartA_single_confAt` (k m : ℕ) (z : ℂ) : quartA k (Finsupp.single (confAt k m) z) = Finsupp.single (confAt k m) ((((m : ℝ) * ((m : ℝ)

Initializing...

`BookProof.FockCubicUnbounded.quartA_single_confAt` (k m : ℕ) (z : ℂ) : quartA k (Finsupp.single (confAt k m) z) = Finsupp.single (confAt k m) ((((m : ℝ) * ((m : ℝ) - 1) : ℝ) : ℂ) · Prove2Me