Yau's theorem

GPTKB entity