Registry · Theorem
V.T34
tau-effective
formalized
V.T34 — Uniqueness
The Einstein-admissible boundary character is unique: if chi and chi' both satisfy G_omega = kappa_tau * T^mat_omega with the same matter character, then chi = chi'. The proof uses the sigma-fixed property of kappa_tau and sector exhaustion at E_1.
Book V
Part 2
Ch. 15