P
Initializing...
`BookProof.ChapterMajoranaFourier.boostC_nonneg` (m q : ℝ) : 0 ≤ boostC m q · Prove2Me