P
Initializing...
`BookProof.ChapterMajoranaFourier.Ep_ge` (m q : ℝ) (_hm : 0 ≤ m) : m ≤ Ep m q · Prove2Me