P
Initializing...
`BookProof.ChapterEntropy.invertibleProb_le_one` (n : ℕ) : invertibleProb n ≤ 1 · Prove2Me