Kronheimer–Mrowka theorem

GPTKB entity