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