Lebesgue integration

GPTKB entity