`BookProof.FockCubicUnbounded.trial_support_subset` (k n : ℕ) (c : ℝ) : (trial k n c).support ⊆ {confAt k n, confAt k (n + 3)}

Initializing...

`BookProof.FockCubicUnbounded.trial_support_subset` (k n : ℕ) (c : ℝ) : (trial k n c).support ⊆ {confAt k n, confAt k (n + 3)} · Prove2Me