`BookProof.ShiftedQuadratic.wave_indefiniteQuadratic_linear_essentiallySelfAdjoint` (n : ℕ) (b b' : Fin (1 + n) → ℝ) : EssentiallySelfAdjointOn (polyGaussCoreT (shiftVec (minkowski

Initializing...

`BookProof.ShiftedQuadratic.wave_indefiniteQuadratic_linear_essentiallySelfAdjoint` (n : ℕ) (b b' : Fin (1 + n) → ℝ) : EssentiallySelfAdjointOn (polyGaussCoreT (shiftVec (minkowski · Prove2Me