Bott–Samelson theorem

GPTKB entity