Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 26 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context · Original author HTML
Theorem 2.1
If f 0 : X 0 → B 0 f_{0}:X_{0}\rightarrow B_{0} satisfies the above
properties, then there exists a topological manifold X X , X 0 ⊆ X X_{0}\subseteq X ,
and a well-behaved T 3 T^{3} -fibration f : X → B f:X\rightarrow B such that
the diagram
X 0 ↪ X ↓ f 0 ↓ f B 0 ↪ B \matrix{X_{0}&\hookrightarrow&X\cr\Big\downarrow\hbox to0.0pt{$\vbox{\hbox{$\scriptstyle f_{0}$}}$\hss}&&\Big\downarrow\hbox to0.0pt{$\vbox{\hbox{$\scriptstyle f$}}$\hss}\cr B_{0}&\hookrightarrow&B\cr}
commutes.