Registry · Proposition
III.P13
tau-effective
formalized
III.P13 — Poincaré as Gluing Guarantee
Poincaré guarantees that local Hartogs bulk projections glue into a global space homeomorphic to S³ when the fundamental group is trivial. Simple connectivity = no obstruction to global coherence of local patches at the E₀→E₁ interface.
Book III
Part 4
Ch. 32