Ahlswede–Daykin inequality

GPTKB entity