Borel–de Siebenthal theorem

GPTKB entity