P
Initializing...
`BookProof.ChapterMajoranaFourier.Ep_pos` (m q : ℝ) (hq : 0 < q) : 0 < Ep m q · Prove2Me