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

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIII.Physics.HartogsFlow

Symbol: flow_stabilization_check