`BookProof.ChapterCoherentOccupation.coherentOccupation_eq_poissonPMFReal` (r : NNReal) (n : ℕ) : coherentOccupation r n = poissonPMFReal r n

Initializing...

`BookProof.ChapterCoherentOccupation.coherentOccupation_eq_poissonPMFReal` (r : NNReal) (n : ℕ) : coherentOccupation r n = poissonPMFReal r n · Prove2Me