Registry · Definition V.D74 tau-effective formalized

V.D74 — Chandrasekhar threshold

The Chandrasekhar threshold n_Ch is the critical baryon count at which the star builder transitions from Star_n(A) (weak-sector support, white dwarf) to Star_n(C) (strong-sector support, neutron star) or Star_n(D) (gravitational self-support, black hole).

Book V Part 2 Ch. 17

Lean Formalization

Module: TauLib.BookV.GravityField.TOVStarBuilder

Symbol: Tau.BookV.GravityField.ChandrasekharThreshold