`BookProof.FockCubicQuarticStability.dGamma_multiMode_cubic_quartic_bounded_below` (S : Finset ℕ) {col : ℕ → (ℕ →₀ ℂ)} {mu lam : ℝ} (hmu : 0 < mu) (hgap : IsPosCol (shiftCol col mu

Initializing...

`BookProof.FockCubicQuarticStability.dGamma_multiMode_cubic_quartic_bounded_below` (S : Finset ℕ) {col : ℕ → (ℕ →₀ ℂ)} {mu lam : ℝ} (hmu : 0 < mu) (hgap : IsPosCol (shiftCol col mu · Prove2Me