Registry · Theorem V.T86 tau-effective formalized

V.T86 — Chandrasekhar Mass from tau-Framework --- V.T38

The Chandrasekhar mass M_Ch = omega_3^0 (hbar c / G)^{3/2} / (mu_e m_u)^2 ~ 1.44 M_sun is derived from the tau-framework by substituting G = (c^3/hbar) iota_tau^2, marking the B-sector electron degeneracy threshold against D-sector gravitational collapse.

Book V Part 5 Ch. 38

Dependency Graph

Depends on (4)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Astrophysics.CompactObjects

Symbol: Tau.BookV.Astrophysics.ChandrasekharMassFromTauframeworkVt38