Registry · Remark IV.R220 tau-effective not_applicable

IV.R220 — Hartogs extension as physical completeness

The Hartogs extension for tau^3 states that a holomorphic function on the boundary L extends uniquely to the interior. Physically: boundary data determines bulk physics completely. The boundary is not a screen for projection but the source from which interior physics is reconstructed.

Book IV Part 1 Ch. 5

Lean Formalization

Module: