`BookProof.ChapterEntropy.invertibleProb_eq` (n : ℕ) : invertibleProb n = (Nat.factorial n : ℝ) / (n ^ n : ℝ)

Initializing...

`BookProof.ChapterEntropy.invertibleProb_eq` (n : ℕ) : invertibleProb n = (Nat.factorial n : ℝ) / (n ^ n : ℝ) · Prove2Me