`BookProof.ShiftedQuadratic.shiftedCore_dense` (c b b' : Fin d → ℝ) : Dense ((polyGaussCoreT (shiftVec c b) (boostVec c b') : Submodule ℂ (L2d d)) : Set (L2d d))

Initializing...

`BookProof.ShiftedQuadratic.shiftedCore_dense` (c b b' : Fin d → ℝ) : Dense ((polyGaussCoreT (shiftVec c b) (boostVec c b') : Submodule ℂ (L2d d)) : Set (L2d d)) · Prove2Me