IV.P153 — Smooth manifold from coherent readouts

The family {Phi_p} of chart readout homomorphisms is coherent: transition functions for overlapping neighbourhoods are smooth. The smooth manifold structure of tau^3 is a consequence of this coherent family (via holomorphicity of Hartogs extension), not a prerequisite for it.