`BookProof.ShiftedQuadraticMatrix.shiftedHMatCore_dense` {A : Matrix (Fin d) (Fin d) ℝ} (b b' : Fin d → ℝ) : Dense ((polyGaussCoreT (matShiftVec A b) (matBoostVec A b') : Submodule

Initializing...

`BookProof.ShiftedQuadraticMatrix.shiftedHMatCore_dense` {A : Matrix (Fin d) (Fin d) ℝ} (b b' : Fin d → ℝ) : Dense ((polyGaussCoreT (matShiftVec A b) (matBoostVec A b') : Submodule · Prove2Me