Registry · Theorem
III.T24
tau-effective
formalized
III.T24 — Hartogs Flow Theorem
For τ-admissible initial data, the Hartogs flow operator H_flow produces a unique continuation at each primorial level. The continuation is compatible across levels (tower coherence).
Book III
Part 5
Ch. 36