Registry · Theorem
V.T41
tau-effective
formalized
V.T41 — No-Shrink --- V.T03, preview
Preview of the No-Shrink Theorem (V.T03): for any mature black hole state x beyond the maturity horizon n*, no tau-admissible evolution step produces a successor state x' with M_n(x') < M_n(x). Black hole mass is monotonically nondecreasing.
Book V
Part 2
Ch. 16