`BookProof.HalfLineLimitCircle.hlKin_not_essentiallySelfAdjointOn` : ¬ EssentiallySelfAdjointOn hlCore hlKin

Initializing...

`BookProof.HalfLineLimitCircle.hlKin_not_essentiallySelfAdjointOn` : ¬ EssentiallySelfAdjointOn hlCore hlKin · Prove2Me