Blakers–Massey theorem

GPTKB entity