`BookProof.FockCubicUnbounded.trial_vacuum_orthogonal` {k n : ℕ} (hn : n ≠ 0) (c : ℝ) : trial k n c 0 = 0

Initializing...

`BookProof.FockCubicUnbounded.trial_vacuum_orthogonal` {k n : ℕ} (hn : n ≠ 0) (c : ℝ) : trial k n c 0 = 0 · Prove2Me