Hawking singularity theorem

GPTKB entity