P
Initializing...
Theorem 4 (Wall 2013): the GSL implies a quantum singularity theorem · Prove2Me