Registry · Lemma
II.L05
established
formalized
II.L05 — Character-Hartogs Equivalence
Boundary character data is equivalent to Hartogs extension data: a character on L extends uniquely to a holomorphic function on tau^3 via the boundary lift, and every Hartogs extension restricts to a unique character.
Book II
Part 6
Ch. 31