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