Gromov–Lawson conjecture

GPTKB entity