Abstract
We review Wehrl's definition of a semiclassical entropy in terms of coherent states and give an introductory overview of Lieb's conjecture, its proof (including earlier results), generalizations, and the role of covariant quantum channels in this context. These structures motivate an alternative definition of coherent states and have interesting physical applications and implications.