`BookProof.VielbeinFock.vielbeinManyPotential_esa` (M alpha : ℝ) (d : ℕ) (om : Fin d → ℝ) (n : ℕ) : EssentiallySelfAdjointOn (ccDomain (vielbeinSector d n)) (opCc (vielbeinManyPote

Initializing...

`BookProof.VielbeinFock.vielbeinManyPotential_esa` (M alpha : ℝ) (d : ℕ) (om : Fin d → ℝ) (n : ℕ) : EssentiallySelfAdjointOn (ccDomain (vielbeinSector d n)) (opCc (vielbeinManyPote · Prove2Me