Riesz convexity theorem

GPTKB entity