`BookProof.QgOuterFockFL.Comparison.esa_self` [CompleteSpace F] (C : Comparison F) : EssentiallySelfAdjointOn C.dom C.op

Initializing...

`BookProof.QgOuterFockFL.Comparison.esa_self` [CompleteSpace F] (C : Comparison F) : EssentiallySelfAdjointOn C.dom C.op · Prove2Me