Registry · Theorem II.T44 established formalized

II.T44 — Asymmetric Determination

In tau-holomorphy, boundary data on L determines interior values on tau^3 asymmetrically: directional propagation along two characteristic families, no reverse constraint, Global Hartogs as wave front coverage, and uniqueness from sector independence.

Book II Part 11 Ch. 61

Dependency Graph

Depends on (6)

Depended on by (1)

Lean Formalization

Module: TauLib.BookII.Mirror.WaveHolomorphy

Symbol: asymmetric_determination