Registry · Lemma V.L5 tau-effective formalized

V.L5 — Minimal Mature Black Hole

Minimal mass M_min exists for a dynamically stable black hole; below it, linking topology relaxes before torus vacuum stabilizes.

Book V Part 2 Ch. 16

Dependency Graph

Depends on (6)

I.D34 V.P18 V.T21 V.T38 V.T39 V.T40

Lean Formalization

Module: TauLib.BookV.GravityField.TauSchwarzschildScale

Symbol: Tau.BookV.GravityField.minimal_mature_bh