Denjoy integral

GPTKB entity