`BookProof.ChapterUnitaryTransport.mulOp_isSelfAdjointOn` (f : ℤ → ℝ) : IsSelfAdjointOn (mulDomain f) (mulOp f)

Initializing...

`BookProof.ChapterUnitaryTransport.mulOp_isSelfAdjointOn` (f : ℤ → ℝ) : IsSelfAdjointOn (mulDomain f) (mulOp f) · Prove2Me