Bochner integral

GPTKB entity