`BookProof.BrstLeakage.truncGen_isSelfAdjoint` {P H : E →L[ℂ] E} (hP : IsSelfAdjoint P) (hH : IsSelfAdjoint H) : IsSelfAdjoint (truncGen P H)

Initializing...

`BookProof.BrstLeakage.truncGen_isSelfAdjoint` {P H : E →L[ℂ] E} (hP : IsSelfAdjoint P) (hH : IsSelfAdjoint H) : IsSelfAdjoint (truncGen P H) · Prove2Me