`BookProof.FockCubicQuarticStability.dGamma_cubic_quartic_bounded_below` (k : ℕ) {col : ℕ → (ℕ →₀ ℂ)} {mu lam : ℝ} (hmu : 0 < mu) (hgap : IsPosCol (shiftCol col mu)) (u : FockAlg)

Initializing...

`BookProof.FockCubicQuarticStability.dGamma_cubic_quartic_bounded_below` (k : ℕ) {col : ℕ → (ℕ →₀ ℂ)} {mu lam : ℝ} (hmu : 0 < mu) (hgap : IsPosCol (shiftCol col mu)) (u : FockAlg) · Prove2Me