Hopkins–Miller theorem

GPTKB entity