Künneth formula

  1. REDIRECT Künneth theorem