Carathéodory's theorem

GPTKB entity