Registry · Remark II.R25 established not_applicable

II.R25 — Why Hartogs Is the Wave Front

Global Hartogs extension is not a theorem about extending functions but about wave propagation. In the elliptic world it is a theorem of analysis (d-bar theory); in the hyperbolic world it is a theorem of geometry (wave fronts from L cover the entire interior tau^3).

Book II Part 11 Ch. 61

Dependency Graph

Depends on (3)

Lean Formalization

Module:

Symbol: