  A fundamental paper of Elliott Lieb from 1973 has been the basis for much
beautiful work on matrix inequalities by many people over the following years.
We review a well-connected set of these developments. Some new proofs are
provided.
