Lieb concavity theorem

GPTKB entity