Registry · Remark V.R177 tau-effective formalized

V.R177 — White dwarf mass--radius relation

White dwarfs have an inverted mass-radius relation R ~ M^{-1/3}: more massive white dwarfs are smaller, with R -> 0 as M -> M_Ch, signifying the relational threshold where the D-sector overwhelms B-sector electron degeneracy pressure.

Book V Part 5 Ch. 38

Lean Formalization

Module: TauLib.BookV.Astrophysics.CompactObjects

Symbol: Tau.BookV.Astrophysics.WhiteDwarfMassradiusRelation