P
Initializing...
`BookProof.ChapterMaxEntropy.isProb_uniform` [Nonempty α] : IsProb (uniform α) · Prove2Me