P
Initializing...
`BookProof.ChapterSternGerlach.sg_sin_sq_quarter` : Real.sin (Real.pi / 4) ^ 2 = 1 / 2 · Prove2Me