Algebraic Topology
《Algebraic Topology》 · 第 441 页 · Corollary 4D.9
If the disk bundle has a Thom class \(c\), then \(H^i(B;R)\to H^{i+n}(E,E';R)\), \(b\mapsto p^*(b)\smile c\), is an isomorphism; this is the Thom isomorphism.