Registry · Theorem
V.T114
tau-effective
formalized
V.T114 — No-Shrink Theorem
No-Shrink Theorem: for any mature black hole with M >= M_min (Chandrasekhar limit), dM/dn >= 0. No tau-admissible evolution step can decrease the mass of a mature black hole. The proof follows from defect-mass coupling: mass loss would create inadmissible positive defect entropy.
Book V
Part 6
Ch. 52