Künneth Formula

A theorem or spectral-sequence statement that expresses the homology or cohomology of a product space in terms of the homologies or cohomologies of the factors, typically yielding a Künneth isomorphism under suitable flatness or field-coefficient hypotheses and Tor‑term corrections otherwise.