`BookProof.ScalaronDensitized.physConf_esa` : EssentiallySelfAdjointOn (physConfCore M alpha) ((physConfCore M alpha).subtype.comp (physConfOp M alpha))

Initializing...

`BookProof.ScalaronDensitized.physConf_esa` : EssentiallySelfAdjointOn (physConfCore M alpha) ((physConfCore M alpha).subtype.comp (physConfOp M alpha)) · Prove2Me