`BookProof.FockCubicUnbounded.trial_at_n` (k n : ℕ) (c : ℝ) : trial k n c (confAt k n) = 1

Initializing...

`BookProof.FockCubicUnbounded.trial_at_n` (k n : ℕ) (c : ℝ) : trial k n c (confAt k n) = 1 · Prove2Me