P
Initializing...
`BookProof.ChapterEntropy.invertibleProb_nonneg` (n : ℕ) : 0 ≤ invertibleProb n · Prove2Me