Algebraic Topology
《Algebraic Topology》 · 第 432 页 · Theorem 4D.1
If the restrictions of classes \(c_j\in H^{k_j}(E;R)\) form a basis of \(H^*(F;R)\) in each fiber, then \(H^*(B;R)\otimes_RH^*(F;R)\to H^*(E;R)\), \(b_i\otimes i^*c_j\mapsto p^*b_i\smile c_j\), is an isomorphism of \(R\)-modules.