`BookProof.ChapterIrreversible.entropy_pointMass_zero` (p : Fin n → ℝ) (hp : IsPointMass p) : entropy p = 0

Initializing...

`BookProof.ChapterIrreversible.entropy_pointMass_zero` (p : Fin n → ℝ) (hp : IsPointMass p) : entropy p = 0 · Prove2Me