`BookProof.QuantumGravityFock.qgGradedFock_essentiallySelfAdjointOn` (omega g : ℕ → ℝ) : EssentiallySelfAdjointOn (lpFiniteModes GradedIdx) ((lpFiniteModes GradedIdx).subtype.comp

Initializing...

`BookProof.QuantumGravityFock.qgGradedFock_essentiallySelfAdjointOn` (omega g : ℕ → ℝ) : EssentiallySelfAdjointOn (lpFiniteModes GradedIdx) ((lpFiniteModes GradedIdx).subtype.comp · Prove2Me