`BookProof.ChapterStoneMeasurable.WeakMeasurableUnitaryGroup.gen_stoneU_eq` (t : ℝ) : G.gen.stoneU t = G.U t

Initializing...

`BookProof.ChapterStoneMeasurable.WeakMeasurableUnitaryGroup.gen_stoneU_eq` (t : ℝ) : G.gen.stoneU t = G.U t · Prove2Me