Hawking-Penrose singularity theorems

GPTKB entity