McDuff's theorem

GPTKB entity