Registry · Remark V.R95 tau-effective formalized

V.R95 — Chandrasekhar limit as the electron-degenerate case

The Chandrasekhar mass M_Ch approximately 1.44 M_sun is a special case of the coherence horizon for electron-degenerate matter (white dwarfs). The coherence horizon M_n* depends on composition through the matter character T^mat_n.

Book V Part 2 Ch. 18

Lean Formalization

Module: TauLib.BookV.GravityField.TOVPhaseBoundary

Symbol: Tau.BookV.GravityField.ChandrasekharLimitAsTheElectrondegenerateCase