Formule de Künneth

Un théorème ou une assertion par suite spectrale qui exprime l'homologie ou la cohomologie d'un produit d'espaces en termes des homologies ou cohomologies des facteurs, conduisant en général à un isomorphisme de Künneth sous des hypothèses de platitude ou de coefficients sur un corps, et à des termes Tor de correction sinon.