P
Initializing...
`BookProof.ChapterBoseEinstein.boseEinstein_pos` (hx : 0 < x) : 0 < boseEinstein x · Prove2Me