Penrose singularity theorem

GPTKB entity