P
Initializing...
`BookProof.ChapterShannonSampling.half_add_period` : -(T / 2) + T = T / 2 · Prove2Me