Proof of an entropy conjecture of Wehrl (Q1249388)

From MaRDI portal