`BookProof.TensorCore.essentiallySelfAdjointOn_sectorCore` (hcore : IsGraphCore D A) (n : ℕ) (hesa : EssentiallySelfAdjointOn (sectorDom Hs D₂ n) (sectorOp Hs D₂ A n)) : Essentiall

Initializing...

`BookProof.TensorCore.essentiallySelfAdjointOn_sectorCore` (hcore : IsGraphCore D A) (n : ℕ) (hesa : EssentiallySelfAdjointOn (sectorDom Hs D₂ n) (sectorOp Hs D₂ A n)) : Essentiall · Prove2Me