`BookProof.ShiftedQuadraticMatrix.hermiteTRLp_mem_coreT` (O : Matrix (Fin d) (Fin d) ℝ) (a k : Vd d) (α : Fin d →₀ ℕ) : hermiteTRLp O a k α ∈ polyGaussCoreT a k

Initializing...

`BookProof.ShiftedQuadraticMatrix.hermiteTRLp_mem_coreT` (O : Matrix (Fin d) (Fin d) ℝ) (a k : Vd d) (α : Fin d →₀ ℕ) : hermiteTRLp O a k α ∈ polyGaussCoreT a k · Prove2Me