Künneth theorem

GPTKB entity