`BookProof.ChapterH7.compress_isSelfAdjoint` (V : F →L[ℂ] E) (X : E →L[ℂ] E) (hX : IsSelfAdjoint X) : IsSelfAdjoint (compress V X)

Initializing...

`BookProof.ChapterH7.compress_isSelfAdjoint` (V : F →L[ℂ] E) (X : E →L[ℂ] E) (hX : IsSelfAdjoint X) : IsSelfAdjoint (compress V X) · Prove2Me