P
Initializing...
`BookProof.ChapterShannonSampling.sinc_neg` (u : ℝ) : sinc (-u) = sinc u · Prove2Me