`BookProof.QgCouplingDGammaSum.numberOp_essentiallySelfAdjoint` : EssentiallySelfAdjointOn (lpFiniteModes Conf) (dGammaOp numberCol)

Initializing...

`BookProof.QgCouplingDGammaSum.numberOp_essentiallySelfAdjoint` : EssentiallySelfAdjointOn (lpFiniteModes Conf) (dGammaOp numberCol) · Prove2Me