`BookProof.ChapterStoneResolvent.UnboundedSelfAdjoint.stoneU_mem_unitary` (t : ℝ) : T.stoneU t ∈ unitary (H →L[ℂ] H)

Initializing...

`BookProof.ChapterStoneResolvent.UnboundedSelfAdjoint.stoneU_mem_unitary` (t : ℝ) : T.stoneU t ∈ unitary (H →L[ℂ] H) · Prove2Me