`BookProof.ShiftedQuadratic.shiftedHOp_deficiencyTrivialAt` (c b b' : Fin d → ℝ) (hc : ∀ i, c i ≠ 0) {z : ℂ} (hz : z.im ≠ 0) : DeficiencyTrivialAt (polyGaussCoreT (shiftVec c b) (b

Initializing...

`BookProof.ShiftedQuadratic.shiftedHOp_deficiencyTrivialAt` (c b b' : Fin d → ℝ) (hc : ∀ i, c i ≠ 0) {z : ℂ} (hz : z.im ≠ 0) : DeficiencyTrivialAt (polyGaussCoreT (shiftVec c b) (b · Prove2Me