`BookProof.ShiftedQuadratic.shiftedHOp_not_bounded` (c b b' : Fin d → ℝ) (hc : ∀ i, c i ≠ 0) {i : Fin d} : ¬ ∃ C : ℝ, ∀ f : polyGaussCoreT (shiftVec c b) (boostVec c b'), ‖shiftedH

Initializing...

`BookProof.ShiftedQuadratic.shiftedHOp_not_bounded` (c b b' : Fin d → ℝ) (hc : ∀ i, c i ≠ 0) {i : Fin d} : ¬ ∃ C : ℝ, ∀ f : polyGaussCoreT (shiftVec c b) (boostVec c b'), ‖shiftedH · Prove2Me