Künneth formula

GPTKB entity